עקוב אחר
Frédéric Benhamou
Frédéric Benhamou
Professeur d'informatique, Université de Nantes
כתובת אימייל מאומתת בדומיין univ-nantes.fr
כותרת
צוטט על ידי
צוטט על ידי
שנה
Revising Hull and Box Consistency.
F Benhamou, F Goualard, L Granvilliers, JF Puget
ICLP 99, 230-244, 1999
5241999
Applying interval arithmetic to real, integer, and boolean constraints
F Benhamou, WJ Older
The Journal of Logic Programming 32 (1), 1-24, 1997
5021997
CLP (Intervals) revisited
F Benhamou, D McAllester, P Van Hentenryck
International Symposium on Logic Programming, the MIT Press, 124-138, 1994 …, 1994
4851994
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
3282006
Continuous and interval constraints
F Benhamou, L Granvilliers
Foundations of Artificial Intelligence 2, 571-603, 2006
1972006
Heterogeneous constraint solving
F Benhamou
International Conference on Algebraic and Logic Programming, 62-76, 1996
1531996
Interval constraint logic programming
F Benhamou
French School on Theoretical Computer Science, 1-21, 1994
1471994
Universally quantified interval constraints
F Benhamou, F Goualard
International Conference on Principles and Practice of Constraint …, 2000
1312000
Constraint logic programming: selected research
F Benhamou, A Colmerauer
1301993
Constraint programming over nonlinear constraints
P Van Hentenryck, L Michel, F Benhamou
Science of computer programming 30 (1-2), 83-118, 1998
1161998
Programming in CLP (BNR).
WJ Older, F Benhamou
PPCP 93, 1993
861993
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
International Workshop on Verification, Model Checking, and Abstract …, 2013
642013
Symbolic-interval cooperation in constraint programming
L Granvilliers, E Monfroy, F Benhamou
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
582001
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
512004
Trends in constraint programming
F Benhamou, N Jussien, BA O'Sullivan
John Wiley & Sons, 2013
482013
Automatic generation of numerical redundancies for non-linear constraint solving
F Benhamou, L Granvilliers
Reliable Computing 3 (3), 335-344, 1997
481997
Combining local consistency, symbolic rewriting and interval methods
F Benhamou, L Granvilliers
Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996
471996
Prolog IV: langage et algorithmes.
F Benhamou, T Touraïvane
JFPLC, 51-64, 1995
461995
Progress in the solving of a circuit design problem
L Granvilliers, F Benhamou
Journal of Global Optimization 20, 155-168, 2001
432001
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, ...
402001
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20