Gilles Pesant;Michael Boyer
-;-
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
An Application of CLP: Checking the Correctness of Theoremsin Geometry
Constraints
Reasoning about Solids Using Constraint Logic Programming
Journal of Automated Reasoning