Literatur

• Krzysztof Apt: Principles of Constraint Programming, http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521825832
• Daniel Kroening, Ofer Strichman: Decision Procedures, Springer 2008. http://www.decision-procedures.org/
• Petra Hofstedt, Armin Wolf: Einführung in die Constraint-Programmierung, Springer 2007. http://www.springerlink.com/content/978-3-540-23184-4/
• Uwe Schöning: Logik für Informatiker, Spektrum Akad. Verlag, 2000.