CP Literature
Textbook
There is no textbook for this course, but we recommend a suitable reference book below for those who want to understand more, and we list a few other good ones below. Links to particularly good tutorials on the topics of some lectures are given on the Lectures & Slides page, especially the following:
- Course Notes
on propagation and search
- Modelling and Programming with Gecode
(read Chapters 1, 2, 3, 4, 7, 8, 11 now, and the other recommended chapters as soon as possible, as otherwise you will run into severe time difficulties with the homeworks)
Reference Book (not Textbook)
In the voluntary case where you want a deeper understanding of consistency and propagation, we recommend the following reference book:
- Krzysztof R. Apt, Principles of Constraint Programming
, Cambridge University Press, 2003, ISBN 9780521125499 (Errata
)
Other Good Reference Books
- Constraint Logic Programming Using ECLiPSe
, by Krzysztof R. Apt and Mark G. Wallace, at Cambridge University Press, 2006
- Constraint Processing
, by Rina Dechter, at Morgan Kaufmann, 2003
- Essentials of Constraint Programming
, by Thom Frühwirth and Slim Abdennadher, at Springer, 2003
- Programming with Constraints: An Introduction
, by Kim Marriott and Peter J. Stuckey, at the MIT Press, 1998
- Handbook of Constraint Programming
, edited by Francesca Rossi, Peter van Beek, and Toby Walsh, at Elsevier Science, 2006
- Programming Constraint Services
, by Christian Schulte, at Springer, 2002
- Foundations of Constraint Satisfaction
, by Edward Tsang, at Academic Press, 1993
- Constraint Solving and Planning with Picat
, by Neng-Fa Zhou, Håkan Kjellerstrand, and Jonathan Fruhman, at Springer, 2015