Frédéric Benhamou

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
The octagon abstract domain for continuous constraints.
Constraints An Int. J., 2014

2013
A Constraint Solver Based on Abstract Domains.
Proceedings of the Verification, 2013

2011
Octagonal Domains for Continuous Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
A branch and bound algorithm for numerical Max-CSP.
Constraints An Int. J., 2010

Abstract Domains for Constraint Programming, with the Example of Octagons.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009
Interval Constraints.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

A Spatio-temporal Reasoning System for Virtual Camera Planning.
Proceedings of the Smart Graphics, 9th International Symposium, SG 2009, Salamanca, 2009

2006
Continuous and Interval Constraints.
Proceedings of the Handbook of Constraint Programming, 2006

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
ACM Trans. Math. Softw., 2006

2004
Interval constraint solving for camera control and motion planning.
ACM Trans. Comput. Log., 2004

2002
Raisonnement sur les propriétés de contraintes numériques.
Proceedings of the Programmation en logique avec contraintes, 2002

Improved Interval Constraint Propagation for Constraints on Partial Derivatives.
Proceedings of the Computational Science - ICCS 2002, 2002

Towards Automated Reasoning on the Properties of Numerical Constraints.
Proceedings of the Recent Advances in Constraints, 2002

2001
In honor of Alain Colmerauer's 60th birthday.
Theory Pract. Log. Program., 2001

Progress in the Solving of a Circuit Design Problem.
J. Glob. Optim., 2001

Amélioration de la complexité des kB-consistances.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Symbolic-interval cooperation in constraint programming.
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

Improved bounds on the complexity of kB-consistency.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Automated reasoning on monotonic constraints.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Debugging Constraint Programs by Store Inspection.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Universally Quantified Interval Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
An Extension of the WAM for Hybrid Interval Solvers.
J. Funct. Log. Program., 1999

A Visualization Tool for Constraint Program Debugging.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Un outil de débogage du store pour la programmation par contraintes.
Proceedings of the JFPLC'99, 1999

Box Consistency through Weak Box Consistency.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

Revising Hull and Box Consistency.
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.
Proceedings of the Perspectives of System Informatics, 1999

Interval Constraints: Results and Perspectives.
Proceedings of the New Trends in Contraints, 1999

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.
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.
Sci. Comput. Program., 1998

1997
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.
Reliab. Comput., 1997

Applying Interval Arithmetic to Real, Integer, and Boolean Constraints.
J. Log. Program., 1997

Introduction to the Special Issue on Interval Constraints.
Constraints An Int. J., 1997

1996
Heterogeneous Constraint Solving.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Combining Local Consistency, Symbolic Rewriting and Interval Methods.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1995
Prolog IV : langage et algorithmes.
Proceedings of the JFPLC'95, 1995

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

CLP(Intervals) Revisited.
Proceedings of the Logic Programming, 1994

1993
Programming in CLP(BNR).
Proceedings of the Principles and Practice of Constraint Programming, 1993

Boolean Pseudo-equations in Constraint Logic Programming.
Proceedings of the Logic Programming, 1993

1991
Boolean Algorithms in Prolog III.
Proceedings of the Constraint Logic Programming, 1991


  Loading...