AbsCon: A Prototype to Solve CSPs with Abstraction

In this paper, we present a Java constraint programming prototype called AbsCon which has been conceived to deal with CSP abstraction. AbsCon considers n-ary constraints and implements different value and variable ordering heuristics as well as different propagation methods. As AbsCon exploits object technology, it is easy to extend its functionalities.

[1]  Patrick Cousot,et al.  Abstract Interpretation Frameworks , 1992, J. Log. Comput..

[2]  Christian Bessiere,et al.  MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems , 1996, CP.

[3]  Francesca Rossi,et al.  An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation , 2000, SARA.

[4]  Christian Bessiere,et al.  Non-Binary Constraints , 1999, CP.

[5]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..

[6]  Thomas Ellman,et al.  Abstraction via Approximate Symmetry , 1993, IJCAI.

[7]  Rina Dechter,et al.  Look-Ahead Value Ordering for Constraint Satisfaction Problems , 1995, IJCAI.

[8]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[9]  Martin E. Dyer,et al.  Locating the Phase Transition in Binary Constraint Satisfaction Problems , 1996, Artif. Intell..

[10]  Douglas C. Schmidt,et al.  Implementing application frameworks: object-oriented frameworks at work , 1999 .

[11]  Andy Hon,et al.  Constraint Programming in Java with JSolver , 1999 .

[12]  Andy Hon,et al.  Waltz Filtering in Java with JSolver , 1999 .

[13]  Patrick Prosser,et al.  An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems , 1996, Artif. Intell..

[14]  Éric Grégoire,et al.  A CSP Abstraction Framework , 2000, SARA.

[15]  Boi Faltings,et al.  Distributing problem solving on the Web using constraint technology , 1998, Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (Cat. No.98CH36294).

[16]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[17]  Yves Caseau Abstract Interpretation of Constraints on Order-Sorted Domains , 1991, ISLP.