| Revising Hull and Box Consistency. F Benhamou, F Goualard, L Granvilliers, JF Puget ICLP 99, 230-244, 1999 | 532 | 1999 |
| Applying interval arithmetic to real, integer, and boolean constraints F Benhamou, WJ Older The Journal of Logic Programming 32 (1), 1-24, 1997 | 506 | 1997 |
| CLP (Intervals) revisited F Benhamou, D McAllester, P Van Hentenryck International Symposium on Logic Programming, the MIT Press, 124-138, 1994 …, 1994 | 489 | 1994 |
| Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques L Granvilliers, F Benhamou ACM Transactions on Mathematical Software (TOMS) 32 (1), 138-156, 2006 | 331 | 2006 |
| Continuous and interval constraints F Benhamou, L Granvilliers Foundations of Artificial Intelligence 2, 571-603, 2006 | 196 | 2006 |
| Heterogeneous constraint solving F Benhamou International Conference on Algebraic and Logic Programming, 62-76, 1996 | 154 | 1996 |
| Interval constraint logic programming F Benhamou French School on Theoretical Computer Science, 1-21, 1994 | 141 | 1994 |
| Universally quantified interval constraints F Benhamou, F Goualard International Conference on Principles and Practice of Constraint …, 2000 | 131 | 2000 |
| Constraint logic programming: selected research F Benhamou, A Colmerauer | 130 | 1993 |
| Constraint programming over nonlinear constraints P Van Hentenryck, L Michel, F Benhamou Science of computer programming 30 (1-2), 83-118, 1998 | 117 | 1998 |
| Programming in CLP (BNR). WJ Older, F Benhamou PPCP 93, 1993 | 86 | 1993 |
| A constraint solver based on abstract domains M Pelleau, A Miné, C Truchet, F Benhamou International Workshop on Verification, Model Checking, and Abstract …, 2013 | 65 | 2013 |
| Symbolic-interval cooperation in constraint programming L Granvilliers, E Monfroy, F Benhamou Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 58 | 2001 |
| 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 |
| Automatic generation of numerical redundancies for non-linear constraint solving F Benhamou, L Granvilliers Reliable Computing 3 (3), 335-344, 1997 | 48 | 1997 |
| Combining local consistency, symbolic rewriting and interval methods F Benhamou, L Granvilliers Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996 | 47 | 1996 |
| Trends in constraint programming F Benhamou, N Jussien, BA O'Sullivan John Wiley & Sons, 2013 | 46 | 2013 |
| Prolog IV: langage et algorithmes. F Benhamou, T Touraïvane JFPLC, 51-64, 1995 | 46 | 1995 |
| Progress in the solving of a circuit design problem L Granvilliers, F Benhamou Journal of Global Optimization 20, 155-168, 2001 | 43 | 2001 |
| Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art C Bliek, P Spellucci, L Vincente, A Neumaier, L Granvilliers, E Monfroy, ... | 40 | 2001 |
Pascal Van HentenryckGeorgia Institute of Technology在 isye.gatech.edu 的电子邮件经过验证
