COINS: a constraint-based interactive solving system

This paper describes the coins (COnstraint-based INterac- tive Solving) system: a conflict-based constraint solver. It helps under- standing inconsistencies, simulates constraint additions and/or retrac- tions (without any propagation), determines if a given constraint belongs to a conflict and provides diagnosis tools (eg. why variable v cannot take value val). coins also uses user-friendly representation of conflicts and explanations.

[1]  Narendra Jussien,et al.  User-friendly explanations for constraint programming , 2001, WLPE.

[2]  Daniel P. Miranker,et al.  A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem , 1996, AAAI/IAAI, Vol. 1.

[3]  Patrice Boizumault,et al.  Maintaining Arc-Consistency within Dynamic Backtracking , 2000, CP.

[4]  Christian Bliek,et al.  Generalizing Partial Order and Dynamic Backtracking , 1998, AAAI/IAAI.

[5]  Christian Bessiere,et al.  Arc-Consistency in Dynamic Constraint Satisfaction Problems , 1991, AAAI.

[6]  Narendra Jussien.  E-constraints: Explanation-based constraint programming , 2001 .

[7]  Patrick Prosser,et al.  MAC-CBJ: maintaining arc consistency with conflict-directed backjumping , 1995 .

[8]  Ulrich Junker.  Conflict Detection for Arbitrary Constraint Propagation Algorithms , 2001 .

[9]  Patrice Boizumault,et al.  Implementing Constraint Relaxation over Finite Domains using ATMS , 1996 .

[10]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[11]  Michael J. Maher,et al.  Constraint Hierarchies and Logic Programming , 1989, ICLP.

[12]  Rina Dechter,et al.  Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition , 1990, Artif. Intell..

[13]  David A. McAllester,et al.  GSAT and Dynamic Backtracking , 1994, KR.

[14]  Thomas Schiex,et al.  Nogood Recording for Static and Dynamic Constraint Satisfaction Problems , 1994, Int. J. Artif. Intell. Tools.

[15]  Matthew L. Ginsberg,et al.  Dynamic Backtracking , 1993, J. Artif. Intell. Res..

[16]  Philippe Codognet,et al.  The GNU Prolog system and its implementation , 2000, SAC '00.

[17]  C. Reeves.  Modern heuristic techniques for combinatorial problems , 1993 .

[18]  Romuald Debruyne,et al.  Arc-consistency in dynamic CSPs is no more prohibitive , 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

[19]  Narendra Jussien,et al.  The PaLM system: explanation-based constraint programming , 2000 .