Guide to Constraint Programming

© Roman Barták, 1998

Contents

Prev

Up

 

Additions and Corrections

The core part of the On-line Guide to Constraint Programming has been finished, and now the Guide is in the maintenance phase. During this phase, I do not expect to do any major changes or additions but, of course, if I find any mistake in the Guide (or I will be notified about the mistake) I will try to correct it as soon as possible (so if you find any error, please let me know).

Later, I would like to:

To simplify tracking of changes in the Guide, I will publish all additions and corrections in the following table. Thus, you can find here what has been changed since your last visit of the Guide.

Date

Place Description of change
May 22nd, 2014 Systems added reference to a journal paper on benchmarking
updated link to a paper
May 31st, 2011 Home Part of the guide translated to Belorussian language (thanks to Galina Miklosic)
April 27th, 2009   the guide can be distributed under Creative Commons lincense Creative Commons License
November 11th, 2007 Systems updated link to JaCoP system
November 21st, 2007 Systems new system HySAT added
October 15th, 2007 Systems new system TOY added
September 11th, 2007 Systems new system NSolver added
April 17th, 2007 Systems new system JaCoP added
November 30th, 2006 Systems new system Cream added
October 20th, 2006 Resources new journal CP Letters added
October 2nd, 2006 Systems new systems (Choco, Comet, Disolver, G12, Minion) added and links to B-Prolog, ECLiPSe, HAL, and IF/Prolog updated
  Resources new books added (Principles of CP, Handbook of CP)
November 8th, 2005 Systems link to Artelys Kalis and Gecode added
March 14th, 2005 Resources new books added
October 4th, 2003 Alternative and Generalized Approaches [to Soft Constraints] corrected description of CSP as a semiring-based CSP (thank you Dave Cohen :-)
December 2nd, 2002 Systems link to The CSP Library added
July 2nd, 2001 Systems link to FaCiLe system added, link to CHIP updated
  Home Page you can download a deep survey of the constraint propagation techiques
February 28th, 2001 Binarization of Constraints references to papers added
April 25th, 2000 Systems link to Screamer system added
March 29th, 2000 Systems link to GNU Prolog system added
October 18th, 1999 Systems link to B Prolog system added
September 27th, 1999 Systems link to MINERVA system added
new section "Applications" added
June 22nd, 1999 Home Page you can download PDF survey of the Guide
January 19th, 1999 Systems link to Interval Solver for Excel was added
December 7th, 1998 Systems link to BackTalk library was added
November 23rd, 1998 Systems link to CHR system was added
November 11th, 1998 Resources new section with list of workshops added
  Courses on CD-ROM preliminary annoucement of CD-ROM version of the guide
November 3rd, 1998 Constraint Hierarchies miss-typing error in the formal definition of the globally-better comparator was corrected
September 1st, 1998 Consistency Techniques algorithm INITIALIZE for AC-4 was corrected
August 27th, 1998 Constraint propagation indexes in algorithms were corrected
  Constraint propagation a picture comparing algorithms was added
August 20th, 1998 Resources link to PACLP99 conference was added
  Constraint Hierarchies miss-typing error in the formal definition of the regionally-better comparator was corrected
July 21st, 1998 Systems new systems and solvers were added
  Resources link to a new introductory book "Programming with Constraints: An Introduction" was added
  Systematic Search name of variable was corrected in the procedure test_constraint
  Consistency Techniques a problematic part of algorithm INITIALIZE for AC-4 was commented
July 2nd, 1998 Systems a pioneering system ALICE was added
  Resources links to actual conferences were added
July 1st, 1998 Systems a new category (constraint solvers) was added
  Systems a link to clp(FD,S) system was added
June 30th, 1998 Systems links and two new Prolog systems were added
June 24th, 1998 FAQs new QAs were added
  Resources links to conferences on AI were added
June 23rd, 1998 Constraint Hierarchies one solution was suplemented to the example
  Constraint Hierarchies formal definitions of comparators were added
  Constraint Hierarchies a new section on existence of solutions was added
  Constraint Hierarchies formal theorems on nonmonotonicity were added
May 27th, 1998 The core part of the Guide has been finished.

 


Acknowledgments

First of all I would like to thank all researchers on constraint programming for providing their research results on-line so the papers are accessible for everyone.

I am also grateful for all encouraging e-mails sent to me during the development of the Guide. I appreciate all e-mails expressing your opinion, comments, suggestions, corrections and wishes about the Guide.

 

Contents

Prev

Up

 

Designed and maintained by Roman Barták