(10) Concurrent Cooperative Parallel Solvers (CCOPS)

To facilitate reuse, cooperation and parallelization of constraint solvers, a new execution model has been defined for distributed-memory systems. Existing solvers are re-used as operators, cooperation comes from mixing different solvers and data-parallel solving is programmed in bulk-synchronous mode. The three paradigms can be dynamically combined in the BS-Solve system.

Research Period :	June 1997 - February 1998
Cooperate Researchers :	Philippe Codognet INRIA Rocquencourt, Research officer, head of LOCO project. Laurent Granvilliers LIFO, Univ. Orleans, Doctoral student. Gaetan Hains LIFO, Univ. Orleans, Professor. Arnaud Lallouet LIFO, Univ. Orleans, Assistant professor. Quentin Miller OUCL, Oxford Univ., Research officer. Nicolas Romero LIFO, Univ. Orleans, Doctoral student.