A Cooperative Scheme for Solving Constraints over the Reals

Philippe Marti, Michel Rueher. A Cooperative Scheme for Solving Constraints over the Reals. In Hoon Hong, editor, First International Symposium on Parallel Symbolic Computation - PASCO '94, Hagenberg/Linz, Austria, September 26-28, 1994. pages 284-293, World Scientific, 1994.

Abstract

Abstract is missing.