1. Heterogeneous constraint solving;Benhamou,1996
2. Consistances locales et transformations symboliques de contraintes d'intervalles;Granvilliers,1998
3. Box consistency through weak box consistency;Granvilliers,1999
4. A system for the high-level parallelization and cooperation of constraint solvers;Granvilliers,1998
5. Towards high-quality, high-speed numerical computation;Hains,1997