2009 |
37 | EE | Frédéric Benhamou:
Interval Constraints.
Encyclopedia of Optimization 2009: 1733-1736 |
2008 |
36 | EE | Jean-Marie Normand,
Alexandre Goldsztejn,
Marc Christie,
Frédéric Benhamou:
A Branch and Bound Algorithm for Numerical MAX-CSP.
CP 2008: 205-219 |
2006 |
35 | | Frédéric Benhamou:
Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
Springer 2006 |
34 | EE | Laurent Granvilliers,
Frédéric Benhamou:
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
ACM Trans. Math. Softw. 32(1): 138-156 (2006) |
2004 |
33 | EE | Frédéric Benhamou,
Frédéric Goualard,
Eric Languénou,
Marc Christie:
Interval constraint solving for camera control and motion planning.
ACM Trans. Comput. Log. 5(4): 732-767 (2004) |
2002 |
32 | EE | Evgueni S. Petrov,
Frédéric Benhamou:
Improved Interval Constraint Propagation for Constraints on Partial Derivatives.
International Conference on Computational Science (2) 2002: 1097-1105 |
31 | EE | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Towards Automated Reasoning on the Properties of Numerical Constraints.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 47-61 |
30 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Raisonnement sur les propriétés de contraintes numériques.
JFPLC 2002: 13- |
2001 |
29 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency.
IJCAI 2001: 303-308 |
28 | EE | Laurent Granvilliers,
Eric Monfroy,
Frédéric Benhamou:
Symbolic-interval cooperation in constraint programming.
ISSAC 2001: 150-166 |
27 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Amélioration de la complexité des kB-consistances.
JFPLC 2001: 207-222 |
26 | | Frédéric Benhamou,
Pascal Van Hentenryck:
In honor of Alain Colmerauer's 60th birthday.
TPLP 1(6): 633-635 (2001) |
2000 |
25 | | Frédéric Goualard,
Frédéric Benhamou:
Debugging Constraint Programs by Store Inspection.
Analysis and Visualization Tools for Constraint Programming 2000: 273-297 |
24 | EE | Frédéric Benhamou,
Frédéric Goualard:
Universally Quantified Interval Constraints.
CP 2000: 67-82 |
23 | EE | Lucas Bordeaux,
Frédéric Benhamou:
Automated reasoning on monotonic constraints.
ICTAI 2000: 401- |
22 | EE | Frédéric Benhamou,
Frédéric Goualard,
Eric Languénou,
Marc Christie:
Interval Constraint Solving for Camera Control and Motion Planning
CoRR cs.AI/0007002: (2000) |
1999 |
21 | EE | Jorge Cruz,
Pedro Barahona,
Frédéric Benhamou:
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.
AIMDM 1999: 185-196 |
20 | EE | Frédéric Goualard,
Frédéric Benhamou:
A Visualization Tool for Constraint Program Debugging.
ASE 1999: 110- |
19 | EE | Frédéric Benhamou,
Frédéric Goualard,
Eric Languénou,
Marc Christie:
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.
Ershov Memorial Conference 1999: 416-423 |
18 | | Frédéric Benhamou,
Frédéric Goualard,
Laurent Granvilliers,
Jean-Francois Puget:
Revising Hull and Box Consistency.
ICLP 1999: 230-244 |
17 | EE | Laurent Granvilliers,
Frédéric Goualard,
Frédéric Benhamou:
Box Consistency through Weak Box Consistency.
ICTAI 1999: 373-380 |
16 | | Frédéric Goualard,
Frédéric Benhamou:
Un outil de débogage du store pour la programmation par contraintes.
JFPLC 1999: 281-296 |
15 | EE | Frédéric Benhamou,
Laurent Granvilliers,
Frédéric Goualard:
Interval Constraints: Results and Perspectives.
New Trends in Constraints 1999: 1-16 |
14 | | Frédéric Goualard,
Frédéric Benhamou,
Laurent Granvilliers:
An Extension of the WAM for Hybrid Interval Solvers.
Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) |
1998 |
13 | | Pascal Van Hentenryck,
Laurent Michel,
Frédéric Benhamou:
Newton - Constraint Programming over Nonlinear Constraints.
Sci. Comput. Program. 30(1-2): 83-118 (1998) |
1997 |
12 | | Frédéric Benhamou:
JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France
Hermes 1997 |
11 | | Frédéric Benhamou,
Pascal Van Hentenryck:
Introduction to the Special Issue on Interval Constraints.
Constraints 2(2): 107-112 (1997) |
10 | | Frédéric Benhamou,
William J. Older:
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints.
J. Log. Program. 32(1): 1-24 (1997) |
9 | EE | Frédéric Benhamou,
Laurent Granvilliers:
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
Reliable Computing 3(3): 335-344 (1997) |
1996 |
8 | | Frédéric Benhamou,
Laurent Granvilliers:
Combining Local Consistency, Symbolic Rewriting and Interval Methods.
AISMC 1996: 144-159 |
7 | | Frédéric Benhamou:
Heterogeneous Constraint Solving.
ALP 1996: 62-76 |
1995 |
6 | | Frédéric Benhamou,
Touraïvane:
Prolog IV : langage et algorithmes.
JFPLC 1995: 51-64 |
1994 |
5 | | Frédéric Benhamou:
Interval Constraint Logic Programming
Constraint Programming 1994: 1-21 |
4 | | Frédéric Benhamou,
David A. McAllester,
Pascal Van Hentenryck:
CLP(Intervals) Revisited.
SLP 1994: 124-138 |
1993 |
3 | | Frédéric Benhamou,
Jean-Luc Massat:
Boolean Pseudo-equations in Constraint Logic Programming.
ICLP 1993: 517-531 |
2 | | William J. Older,
Frédéric Benhamou:
Programming in CLP(BNR).
PPCP 1993: 228-238 |
1991 |
1 | | Frédéric Benhamou:
Boolean Algorithms in Prolog III.
WCLP 1991: 307-325 |