Welcome This site is dedicated to explanation-based constraint programming and provides information about that recent branch of constraint programming. 553725 hits since opening site map empty line What's new ? 08 Jul 04 PaLM is now included in the Java version of choco. 03 Oct 03 online notes of the Dynamic Constraint Solving tutorial given at CP03 27 Nov 02 PaLM v1.324 (compatible with claire 3.2.52 and choco 1.3.24) is out ! update log empty line Site announcements Meet the new PaLM official logo ! e-constraints.net is seeking feedback: new links, new people, new applications, comments, contributions, ... Contact the webmaster ! This site is owned and operated by N. Jussien

Explanation-based Constraint Programming A resource website ligne vide An introduction to explanations You will find here some basic information about explanations: a definition, possible uses, a presentation of explanation-based constraint programming, ... Implementations This section addresses some implementation issues on explanations: computation, quality of explanations, intrusive vs. non intrusive methods, ... This is also where you can find pointers on existing implementations including PaLM. Applications This is a repositery of descriptions of uses of explanations. Those applications are categorized: debugging (including PTIDEJ), illustrating constraint solving, solving dynamic problems, solving over-constrained systems, new search algorithms (including MAC-DBT and Path-Repair/decision-repair) ... Pointers Some further pointers for more detailed information: including discussion forums, web resources, interested people, a bibliography, related conferences, ...