Handbook of Satisfiability 2009

Part I. Theory and Algorithms

Part II. Applications and Extensions

a service of Schloss Dagstuhl - Leibniz Center for Informatics