Michel Rueher. An Architecture for Cooperating Constraint Solvers on Reals. In Andreas Podelski, editor, Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers. Volume 910 of Lecture Notes in Computer Science, pages 231-250, Springer, 1994.
Abstract is missing.