Revising Hull and Box Consistency. F Benhamou, F Goualard, L Granvilliers, JF Puget ICLP 99, 230-244, 1999 | 534 | 1999 |
Universally quantified interval constraints F Benhamou, F Goualard International Conference on Principles and Practice of Constraint …, 2000 | 131 | 2000 |
Interval constraint solving for camera control and motion planning F Benhamou, F Goualard, É Languénou, M Christie ACM Transactions on Computational Logic (TOCL) 5 (4), 732-767, 2004 | 51 | 2004 |
Box consistency through weak box consistency L Granvilliers, F Goualard, F Benhamou Proceedings 11th International Conference on Tools with Artificial …, 1999 | 31 | 1999 |
An extension of the WAM for hybrid interval solvers F Goualard, F Benhamou, L Granvilliers Journal of Functional and Logic Programming 4, 1999 | 22 | 1999 |
How do you compute the midpoint of an interval? F Goualard ACM Transactions on Mathematical Software (TOMS) 40 (2), 1-25, 2014 | 21 | 2014 |
Interval constraints: Results and perspectives F Benhamou, L Granvilliers, F Goualard Compulog Net/ERCIM Workshop on Constraints, 1-16, 1999 | 20 | 1999 |
Gaol: not just another interval library F Goualard University of Nantes, France, 2005 | 19 | 2005 |
Debugging constraint programs by store inspection F Goualard, F Benhamou Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000 | 19 | 2000 |
Fast and correct SIMD algorithms for interval arithmetic F Goualard PARA'08, ????--????, 2008 | 17 | 2008 |
Langages et environnements en programmation par contraintes d’intervalles F Goualard These de Doctorat, Université de Nantes, 2000 | 17 | 2000 |
Box consistency through adaptive shaving A Goldsztejn, F Goualard Proceedings of the 2010 ACM symposium on applied computing, 2049-2054, 2010 | 16 | 2010 |
Gaol 3.1. 1: Not just another interval arithmetic library F Goualard Laboratoire d’Informatique de Nantes-Atlantique 4, 2006 | 16 | 2006 |
Controlled propagation in continuous numerical constraint networks F Goualard, L Granvilliers Proceedings of the 2005 ACM symposium on applied computing, 377-382, 2005 | 14 | 2005 |
Generating random floating-point numbers by dividing integers: A case study F Goualard International Conference on Computational Science, 15-28, 2020 | 12 | 2020 |
Programming with the declic language F Benhamou, F Goualard, L Granvilliers Proceedings of the International Workshop on Interval Constraints, 1-13, 1997 | 12 | 1997 |
A reinforcement learning approach to interval constraint propagation F Goualard, C Jermann Constraints 13 (1), 206-226, 2008 | 11 | 2008 |
On considering an interval constraint solving algorithm as a free-steering nonlinear gauss-seidel procedure F Goualard Proceedings of the 2005 ACM symposium on Applied computing, 1434-1438, 2005 | 11 | 2005 |
A visualization tool for constraint program debugging F Goualard, F Benhamou 14th IEEE International Conference on Automated Software Engineering, 110-117, 1999 | 11 | 1999 |
An algorithm to compute inner approximations of relations for interval constraints F Benhamou, F Goualard, É Languénou, M Christie International Andrei Ershov Memorial Conference on Perspectives of System …, 1999 | 8 | 1999 |