AITEC Contract Research Projects in FY1997:Intermediate Report |
Principal Investigator : | Dr. Frederic Benhamou, Professor |
Universite de Nantes & Ecole de Nantes |
A high-level software design has been completed, based on the BSP model of scalable parallel programming. Computation alternates between phases of purely local solving with synchronization barriers during which necessary communications are performed. Local solving operates on explicit partitions of the constraints and variable domains while barriers and communications are triggered by contraction/expansion library calls. Resolution strategies are programmed as sequential agents and cooperation strategies as compositions of contraction and expansion.