CP Literature

There is no official 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, 6, 8, 9 now, and the other recommended chapters as soon as possible, as otherwise you will run into severe time difficulties with the homeworks)

• Krzysztof R. Apt, Principles of Constraint Programming, Cambridge University Press, 2003, ISBN 0521825830 (Errata)

• 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