CT Literature
There is no official textbook for this course, but we recommend a suitable textbook 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 Textbook
- Krzysztof R. Apt, Principles of Constraint Programming
, Cambridge University Press, 2003, ISBN 0521825830 (Errata)
Other Good Textbooks
- 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