Handbook of Satisfiability

Propositional logic has been recognized throughout the centuries as one of the cornerstones of…