Bibliografia

Principal

• Handbook of Satisfiability: A. Biere, M. Heule, H. van Maaren and T. Walsh 2009 IOS Press

Secundária

• Handbook of Knowledge Representation: F. Van Harmelen, Vladimir Lifschitz, and Bruce Porter 2008 Elsevier
• Handbook of Constraint Programming: F. Rossi, Peter Van Beek, and Toby Walsh 2006 Elsevier
• Several additional papers: Another Another Another