Handbook of Satisfiability 2009

Part I. Theory and Algorithms

Part II. Applications and Extensions