Frédéric Benhamou

46 papers A* 2A 4B 6Misc 2Journal 12Unranked 16
YearRankTypeTitle / Venue / Authors
2014 J jnl
The octagon abstract domain for continuous constraints.
Constraints An Int. J.
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou
2013 B conf
A Constraint Solver Based on Abstract Domains.
VMCAI
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
2011 A conf
Octagonal Domains for Continuous Constraints.
CP
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou
2010 J jnl
A branch and bound algorithm for numerical Max-CSP.
Constraints An Int. J.
Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou
2010 Misc conf
Abstract Domains for Constraint Programming, with the Example of Octagons.
SYNASC
Charlotte Truchet, Marie Pelleau, Frédéric Benhamou
2009 — conf
A Spatio-temporal Reasoning System for Virtual Camera Planning.
Smart Graphics
Marc Christie, Fabrice Lamarche, Frédéric Benhamou
2009 — ch.
Interval Constraints.
Encyclopedia of Optimization
Frédéric Benhamou
2008 A conf
A Branch and Bound Algorithm for Numerical MAX-CSP.
CP
Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou
2006 J jnl
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
ACM Trans. Math. Softw.
Laurent Granvilliers, Frédéric Benhamou
2006 — ch.
Continuous and Interval Constraints.
Handbook of Constraint Programming
Frédéric Benhamou, Laurent Granvilliers
2006 A ed.
Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
CP
Frédéric Benhamou
2004 J jnl
Interval constraint solving for camera control and motion planning.
ACM Trans. Comput. Log.
Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie
2002 Misc conf
Improved Interval Constraint Propagation for Constraints on Partial Derivatives.
International Conference on Computational Science (2)
Evgueni S. Petrov, Frédéric Benhamou
2002 — conf
Raisonnement sur les propriétés de contraintes numériques.
JFPLC
Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2002 — conf
Towards Automated Reasoning on the Properties of Numerical Constraints.
International Workshop on Constraint Solving and Constraint Logic Programming
Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001 — conf
Amélioration de la complexité des kB-consistances.
JFPLC
Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001 A* conf
Improved bounds on the complexity of kB-consistency.
IJCAI
Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001 J jnl
In honor of Alain Colmerauer's 60th birthday.
Theory Pract. Log. Program.
Frédéric Benhamou, Pascal Van Hentenryck
2001 J jnl
Progress in the Solving of a Circuit Design Problem.
J. Glob. Optim.
Laurent Granvilliers, Frédéric Benhamou
2001 B conf
Symbolic-interval cooperation in constraint programming.
ISSAC
Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou
2000 B conf
Automated reasoning on monotonic constraints.
ICTAI
Lucas Bordeaux, Frédéric Benhamou
2000 — conf
Debugging Constraint Programs by Store Inspection.
Analysis and Visualization Tools for Constraint Programming
Frédéric Goualard, Frédéric Benhamou
2000 J jnl
Interval Constraint Solving for Camera Control and Motion Planning
CoRR
Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie
2000 A conf
Universally Quantified Interval Constraints.
CP
Frédéric Benhamou, Frédéric Goualard
1999 A* conf
A Visualization Tool for Constraint Program Debugging.
ASE
Frédéric Goualard, Frédéric Benhamou
1999 — conf
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.
Ershov Memorial Conference
Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie
1999 J jnl
An Extension of the WAM for Hybrid Interval Solvers.
J. Funct. Log. Program.
Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers
1999 B conf
Box Consistency through Weak Box Consistency.
ICTAI
Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou
1999 — conf
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.
AIMDM
Jorge Cruz, Pedro Barahona, Frédéric Benhamou
1999 — conf
Interval Constraints: Results and Perspectives.
New Trends in Constraints
Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard
1999 B conf
Revising Hull and Box Consistency.
ICLP
Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget
1999 — conf
Un outil de débogage du store pour la programmation par contraintes.
JFPLC
Frédéric Goualard, Frédéric Benhamou
1998 J jnl
Newton - Constraint Programming over Nonlinear Constraints.
Sci. Comput. Program.
Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou
1997 J jnl
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints.
J. Log. Program.
Frédéric Benhamou, William J. Older
1997 J jnl
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
Reliab. Comput.
Frédéric Benhamou, Laurent Granvilliers
1997 J jnl
Introduction to the Special Issue on Interval Constraints.
Constraints An Int. J.
Frédéric Benhamou, Pascal Van Hentenryck
1997 — ed.
JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France
JFPLC
Frédéric Benhamou
1996 — conf
Combining Local Consistency, Symbolic Rewriting and Interval Methods.
AISMC
Frédéric Benhamou, Laurent Granvilliers
1996 — conf
Heterogeneous Constraint Solving.
ALP
Frédéric Benhamou
1995 — conf
Prolog IV : langage et algorithmes.
JFPLC
Frédéric Benhamou, Touraïvane
1994 — conf
CLP(Intervals) Revisited.
ILPS
Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck
1994 — conf
Interval Constraint Logic Programming
Constraint Programming
Frédéric Benhamou
1993 B conf
Boolean Pseudo-equations in Constraint Logic Programming.
ICLP
Frédéric Benhamou, Jean-Luc Massat
1993 — ed.
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France.
WCLP
Frédéric Benhamou, Alain Colmerauer
1993 — conf
Programming in CLP(BNR).
PPCP
William J. Older, Frédéric Benhamou
1991 — conf
Boolean Algorithms in Prolog III.
WCLP
Frédéric Benhamou