A. Biere

• Handbook of Satisfiability