Constraint Solving and Programming: What Next?

In this paper we advocate for more flexible and user-friendly constraint solving environments, as well as for constraint programming languages which have great expressive power while maintaining a formal semantics based on few crucial concepts. We cite some of our work in these directions and we hint at subjects of our future research.

[1]  Francesca Rossi,et al.  True Concurrency in Concurrent Constraint Programming , 1991, ISLP.

[2]  Rina Dechter,et al.  Network-based heuristics for constraint satisfaction problems , 1988 .

[3]  Leon S. Sterling,et al.  NMCC Programming: Constraint Enforcement and Retraction in CC Programming , 1995 .

[4]  Eugene C. Freuder.  Backtrack-free and backtrack-bounded search , 1988 .

[5]  Rina Dechter,et al.  From Local to Global Consistency , 1990, Artif. Intell..

[6]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[7]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[8]  Francesca Rossi,et al.  Constraint Solving over Semirings , 1995, IJCAI.

[9]  Francesca Rossi,et al.  From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics , 1994, ALP.

[10]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[11]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[12]  Rina Dechter,et al.  On the Expressiveness of Networks with Hidden Variables , 1990, AAAI.

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

[14]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[15]  Francesca Rossi,et al.  A concurrent semantics for concurrent constraint programming via contextual nets , 1994 .

[16]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[17]  Francesca Rossi,et al.  Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract) , 1996, COORDINATION.

[18]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[19]  Francesca Rossi,et al.  Constraint Reaction in FD , 1996, FSTTCS.

[20]  Philippe Codognet,et al.  Compiling Constraints in clp(FD) , 1996, J. Log. Program..

[21]  Francesca Rossi.  Redundant Hidden Variables in Finite Domain Constraint Problems , 1995, Constraint Processing, Selected Papers.

[22]  Francesca Rossi,et al.  NMCC Programming: Constraint Enforcement and Retracting in CC Programming , 1995, ICLP.

[23]  Francesca Rossi,et al.  Constraint Relaxation may be Perfect , 1991, Artif. Intell..

[24]  Alessandro Sperduti,et al.  Learning solution preferences in constraint problems , 1998, J. Exp. Theor. Artif. Intell..