Guide to Constraint Programming
© Roman Barták, 1998
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:
- furnish the Guide with more references so you can continue in your studies
of constraint programming,
- furnish the Guide with programs so you can test immediately the presented
algorithms, and
- add other chapters covering new interesting results or deepening the current
chapters (any ideas?)
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)
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
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
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
November 3rd, 1998
Constraint
Hierarchies
miss-typing error in the
formal definition of the globally-better comparator was corrected
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
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
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.