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
- Krzysztof R. Apt and Mark G. Wallace, Constraint Logic Programming Using ECLiPSe, Cambridge University Press, 2006
- Rina Dechter, Constraint Processing, Morgan Kaufmann Publishers, 2003, ISBN 1558608907
- Thom Frühwirth and Slim Abdennadher, Essentials of Constraint Programming, Springer-Verlag, 2003, ISBN 3540676236
- Kim Marriott and Peter J. Stuckey, Programming with Constraints: An Introduction, The MIT Press, 1998, ISBN 0262133415
- Francesca Rossi, Peter van Beek, and Toby Walsh, editors, Handbook of Constraint Programming, Elsevier Science, 2006
- Christian Schulte, Programming Constraint Services, Springer-Verlag, 2002, ISBN 3540433716
- Edward Tsang, Foundations of Constraint Satisfaction, Academic Press, 1993, ISBN 0127016104