Frédéric Benhamou

According to our database, Frédéric Benhamou authored at least 41 papers between 1991 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

The octagon abstract domain for continuous constraints.

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou

Constraints An Int. J., 2014

2013

A Constraint Solver Based on Abstract Domains.

Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou

Proceedings of the Verification, 2013

2011

Octagonal Domains for Continuous Constraints.

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Abstract Domains for Constraint Programming, with the Example of Octagons.

Charlotte Truchet, Marie Pelleau, Frédéric Benhamou

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Interval Constraints.

Frédéric Benhamou

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

A Spatio-temporal Reasoning System for Virtual Camera Planning.

Marc Christie, Fabrice Lamarche, Frédéric Benhamou

Proceedings of the Smart Graphics, 9th International Symposium, SG 2009, Salamanca, 2009

2008

A Branch and Bound Algorithm for Numerical MAX-CSP.

Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou

Proceedings of the Principles and Practice of Constraint Programming, 2008

2006

Continuous and Interval Constraints.

Frédéric Benhamou, Laurent Granvilliers

Proceedings of the Handbook of Constraint Programming, 2006

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.

Laurent Granvilliers, Frédéric Benhamou

ACM Trans. Math. Softw., 2006

2004

Interval constraint solving for camera control and motion planning.

Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie

ACM Trans. Comput. Log., 2004

2002

Raisonnement sur les propriétés de contraintes numériques.

Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou

Proceedings of the Programmation en logique avec contraintes, 2002

Improved Interval Constraint Propagation for Constraints on Partial Derivatives.

Evgueni S. Petrov, Frédéric Benhamou

Proceedings of the Computational Science - ICCS 2002, 2002

Towards Automated Reasoning on the Properties of Numerical Constraints.

Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou

Proceedings of the Recent Advances in Constraints, 2002

2001

In honor of Alain Colmerauer's 60th birthday.

Frédéric Benhamou, Pascal Van Hentenryck

Theory Pract. Log. Program., 2001

Progress in the Solving of a Circuit Design Problem.

Laurent Granvilliers, Frédéric Benhamou

J. Glob. Optim., 2001

Amélioration de la complexité des kB-consistances.

Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Symbolic-interval cooperation in constraint programming.

Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

Improved bounds on the complexity of kB-consistency.

Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Automated reasoning on monotonic constraints.

Lucas Bordeaux, Frédéric Benhamou

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Debugging Constraint Programs by Store Inspection.

Frédéric Goualard, Frédéric Benhamou

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Universally Quantified Interval Constraints.

Frédéric Benhamou, Frédéric Goualard

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

An Extension of the WAM for Hybrid Interval Solvers.

Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers

J. Funct. Log. Program., 1999

A Visualization Tool for Constraint Program Debugging.

Frédéric Goualard, Frédéric Benhamou

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Un outil de débogage du store pour la programmation par contraintes.

Frédéric Goualard, Frédéric Benhamou

Proceedings of the JFPLC'99, 1999

Box Consistency through Weak Box Consistency.

Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

Revising Hull and Box Consistency.

Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.

Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie

Proceedings of the Perspectives of System Informatics, 1999

Interval Constraints: Results and Perspectives.

Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard

Proceedings of the New Trends in Contraints, 1999

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.

Jorge Cruz, Pedro Barahona, Frédéric Benhamou

Proceedings of the Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, 1999

1998

Newton - Constraint Programming over Nonlinear Constraints.

Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou

Sci. Comput. Program., 1998

1997

Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.

Frédéric Benhamou, Laurent Granvilliers

Reliab. Comput., 1997

Applying Interval Arithmetic to Real, Integer, and Boolean Constraints.

Frédéric Benhamou, William J. Older

J. Log. Program., 1997

Introduction to the Special Issue on Interval Constraints.

Frédéric Benhamou, Pascal Van Hentenryck

Constraints An Int. J., 1997

1996

Heterogeneous Constraint Solving.

Frédéric Benhamou

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Combining Local Consistency, Symbolic Rewriting and Interval Methods.

Frédéric Benhamou, Laurent Granvilliers

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1995

Prolog IV : langage et algorithmes.

Frédéric Benhamou, Touraïvane

Proceedings of the JFPLC'95, 1995

1994

Interval Constraint Logic Programming

Frédéric Benhamou

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

CLP(Intervals) Revisited.

Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1994

1993

Programming in CLP(BNR).

William J. Older, Frédéric Benhamou

Proceedings of the Principles and Practice of Constraint Programming, 1993

Boolean Pseudo-equations in Constraint Logic Programming.

Frédéric Benhamou, Jean-Luc Massat

Proceedings of the Logic Programming, 1993

1991

Boolean Algorithms in Prolog III.

Frédéric Benhamou

Proceedings of the Constraint Logic Programming, 1991