CT Literature
There is no official textbook for this course, but we recommend a suitable reference book below and list a few other good ones. Links to particularly good tutorials on the topics of some lectures are given on the Schedule page.
Recommended Reference Book
- Krzysztof R. Apt, Principles of Constraint Programming
, Cambridge University Press, 2003, ISBN 0521825830 (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