Title: Handbook of Satisfiability
Subjects: Computer science