Date
updated link to a paper
new section "Applications" added
| Guide to Constraint Programming |
© Roman Barták, 1998 |
||
| Contents | |||
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
|
|
| 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. | |
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 | |||
|
Designed and maintained by Roman Barták |
|||