Constraint Programming

My book "Programmation par contraintes" in French, was first published by Addison-Wesley France, and was available by Vuibert.

It is now republished with The Book Edition here

This book is referenced in : http://www.constraint.org/constraint_org_e.htm, http://www.aiai.ed.ac.uk/links/constr.html

Front Page Back page

Implementing constraints using events

http://esug.org/data/HistoricalDocuments/TheSmalltalkReport/ST09/11fr.pdf

More recent books

Handbook on constraint programming

References on constraints

• Small introduction
• Global Constraint Catalog
• Koalog Constraint Solver in Java
• What is constraint solving ?
• Eclipse
• Prolog and Java
• Hannover links
• UK links
• Wombat
• Oregon archives
• Byte introduction
• Bibliography
• 
  
• Thinglab (Alan Borning)
• Constraint solvers (U. Washington)
• Vendors and implementations
• Hakan Kjellerstrand links on eclipse
• but also on Comet, Jacop, etc...

• Ilog
• Sicstus Prolog
• Prolog IV
• Cosytec
• 
  
• Trilogy
• Minizinc
• Choco
• ECLIPSe
• SWI Prolog
• Jacop
• Gecode
• Dynadec Comet
• IBM Ilog Cplex
• or here

• Comparing constraint implementations (2009)
• Choco

People

• Frederic Benhamou
• 
  
• Pascal Van Hentenryck
• Laurent Trilling
• Philippe Codognet
• 
  
• Alain Colmerauer
• Edward Tsang
• Patrice Boizumault
• Michel Rueher
• Gerd Smolka
• Gus Lopez
• Yves Caseau
• Hassan Ait-Kaci
•  
•  

Books

Benhamou & Colmerauer

Labs

Marseille

Xerox

Labri in Bordeaux (France)