Handbook of Satisfiability

Volume 185 Frontiers in Artificial Intelligence and Applications

By

A. Biere