Denis Bouhineau. Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. In Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Volume 1138 of Lecture Notes in Computer Science, pages 274-288, Springer, 1996.
Abstract is missing.