Handbook of Satisfiability 2009

Part I. Theory and Algorithms

Part II. Applications and Extensions

maintained by Schloss Dagstuhl LZI at University of Trier