Courses/CS 460/Fall 2006/Other Resources

From CSWiki

Contents 1 Books 2 Tutorials 3 Web 4 Systems 4.1 Java 5 Commercial 5.1 OPL 5.2 C++ 6 Other stuff

[edit] Books

• Kim Marriott and Peter J. Stuckey, Programming with Constraints: an Introduction slides
• S. Abdennadher and T. Fruhwirth, Essentials of Constraint Programming, 2003.
  • Essentials of Constraint Programming
• K.R. Apt, Principles of Constraint Programming, 2003.
• R. Dechter, Constraint Processing, 2003.

[edit] Tutorials

• Roman Bartak, "Online Guide to Constraint Programming"
  • Roman Bartak, Tutorial on "Constraint Satisfaction for Planning and Scheduling" presented at ICAPS 2004
  • Roman Bartok
• Rosella Gennari
• Gilles Pesant
• Christian Schulte

[edit] Web

• "Constraint Programming" (Google search)
• Association for Constraint Programming
• Constraint Programming Online
• Constraint Handling Rules
  • Thom Fruhwirth, "Constraint Programming with CHR"

[edit] Systems

[edit] Java

• JaCoP
• JavaDoc
• Krzysztof Kuchcinski
  • Home page
  • Java Constraint Programming (JaCoP)
  • JaCoP
  • Course in Constraint Programming
    • Lecture notes
    • Lab notes
• Radoslaw Szymanek
  • Home page
  • Constraint Programming
  • Introduction to Constraint Programming (JaCoP)
• Constraint Handling Rules for Java
• Gecode/J
• Choco
• Java Constraint Kit
• Cream
• Java Constraint Library

[edit] Commercial

• Ilog JSolver
• Koalog (commercial) Java constraint library

[edit] OPL

• Michael Trick, "Constraint Programming"

[edit] C++

• Gecode

[edit] Other stuff

• New York Times, (7/18/2006)
  • "Brainy Robots Start Stepping Into Daily Life"
  • "Maybe We Should Leave That Up to the Computer"