Frédéric Benhamou

Publication Activity (10 Years)

Years Active: 1991-2014
Publications (10 Years): 0

Top Topics

Linear Constraints

Constraint Solver

Constraint Logic Programming

Top Venues

Constraints An Int. J.

Publications

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