E-constraints.net

Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.

The DECorum system (e-constraints.net)

e-constraints.net : Implementations : DECorum. The DECorum system. This page presents the DECorum system: an explanation-based constraint C++ library. ...

People (e-constraints.net)

e-constraints.net : Pointers : People. People interested in e-constraint programming. If you want to add your name in this list: go to the registration page ...

explanation-based constraint programming: a bibliography

e-constraints.net : Pointers : A bibliography. Here is partial bibliography on explanation-based constraint programming. References have been classified ...

An introduction to explanations (e-constraints.net)

e-constraints.net : Introduction. An introduction to explanations. This page is an introduction to explanations. You will find a definition and some ...

Applications (e-constraints.net)

e-constraints.net : Applications. Applications of e-constraint programming. Uses of explanations within constraint programming are numerous. ...

Implementations (e-constraints.net)

e-constraints.net : Implementations. e-constraints implementations. There are several ways to actually implement an explanation-based constraints system. ...

Update log (e-constraints.net)

Date, Update. 8/7/04, PaLM is now included in the Java version of choco. 3/10/03, online notes of the Dynamic Constraint Solving tutorial given at CP03 ...

Site information (e-constraints.net)

e-constraints.net : Site information. The following image shows the evolution of the hits on this web site (since opening). The dashed-line is a 14 days ...

Pointers (e-constraints.net)

e-constraints.net : Pointers. Here are some pointers related to explanations within constraint programming. Discussion forums: a set of publicly available ...