A Graphical Interface for Solver Cooperations

We propose a language composed of basic graphical components. By assembling these components as in a Lego game, solver cooperations can be visualized. The advantage is to represent by simple figures complex cooperations that usually requires tedious descriptions. We illustrate our language by implementing some well-known cooperative solvers.

[1]  B. Buchberger,et al.  Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[2]  Michel Rueher,et al.  A Distributed Cooperating Constraints Solving System , 1995, Int. J. Artif. Intell. Tools.

[3]  Michaël Rusinowitch,et al.  Implementing non-linear constraints with cooperative solvers , 1996, SAC '96.

[4]  Chris Hankin,et al.  Coordinatio Languages and Models , 2002, Lecture Notes in Computer Science.

[5]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[6]  Henri Beringer,et al.  Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers , 1995, Logic Programming: Formal Methods and Practical Applications.

[7]  Carlos Castro,et al.  Basic Operators for Solving Constraints via Collaboration of Solvers , 2000, AISC.

[8]  Frédéric Benhamou,et al.  Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving , 1997, Reliab. Comput..

[9]  Carlos Castro,et al.  A Control Language for Designing Constraint Solvers , 1999, Ershov Memorial Conference.

[10]  Farhad Arbab,et al.  Constraints Solving as the Coordination of Inference Engines , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

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

[12]  Farhad Arbab,et al.  VISIFOLD: A Visual Environment for a Coordination Language , 1996, COORDINATION.

[13]  Farhad Arbab,et al.  Coordination of heterogeneous distributed cooperative constraint solving , 1998, SIAP.

[14]  Eric Monfroy,et al.  Symbolic-interval cooperation in constraint programming , 2001, ISSAC '01.

[15]  Franco Zambonelli,et al.  Coordination of Internet Agents , 2001, Springer Berlin Heidelberg.