Frédéric Benhamou - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2014

The octagon abstract domain for continuous constraintsMarie Pelleau, Charlotte Truchet, Frédéric Benhamou. constraints, 19(3):309-337, 2014. [doi]

2013

A Constraint Solver Based on Abstract DomainsMarie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. vmcai 2013: 434-454 [doi]

2011

Octagonal Domains for Continuous ConstraintsMarie Pelleau, Charlotte Truchet, Frédéric Benhamou. cp 2011: 706-720 [doi]

2010

A branch and bound algorithm for numerical Max-CSPJean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou. constraints, 15(2):213-237, 2010. [doi]

Abstract Domains for Constraint Programming, with the Example of OctagonsCharlotte Truchet, Marie Pelleau, Frédéric Benhamou. synasc 2010: 72-79 [doi]

2009

A Spatio-temporal Reasoning System for Virtual Camera PlanningMarc Christie, Fabrice Lamarche, Frédéric Benhamou. sg 2009: 119-127 [doi]

2008

A Branch and Bound Algorithm for Numerical MAX-CSPJean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou. cp 2008: 205-219 [doi]

2006

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniquesLaurent Granvilliers, Frédéric Benhamou. TOMS, 32(1):138-156, 2006. [doi]

2004

Interval constraint solving for camera control and motion planningFrédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie. tocl, 5(4):732-767, 2004. [doi]

2002

Raisonnement sur les propriétés de contraintes numériquesLucas Bordeaux, Eric Monfroy, Frédéric Benhamou. jfplc 2002: 13

Towards Automated Reasoning on the Properties of Numerical ConstraintsLucas Bordeaux, Eric Monfroy, Frédéric Benhamou. colognet 2003: 47-61 [doi]

Improved Interval Constraint Propagation for Constraints on Partial DerivativesEvgueni S. Petrov, Frédéric Benhamou. iccS 2002: 1097-1105 [doi]

2001

2000

Universally Quantified Interval ConstraintsFrédéric Benhamou, Frédéric Goualard. cp 2000: 67-82 [doi]

Automated reasoning on monotonic constraintsLucas Bordeaux, Frédéric Benhamou. ictai 2000: 401 [doi]

Debugging Constraint Programs by Store InspectionFrédéric Goualard, Frédéric Benhamou. discipl 2000: 273-297

1999

Revising Hull and Box ConsistencyFrédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget. ICLP 1999: 230-244

Interval Constraints: Results and PerspectivesFrédéric Benhamou, Laurent Granvilliers, Frédéric Goualard. compulog 2000: 1-16 [doi]

An Algorithm to Compute Inner Approximations of Relations for Interval ConstraintsFrédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie. ershov 2000: 416-423 [doi]

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint ApproachJorge Cruz, Pedro Barahona, Frédéric Benhamou. aimdm 1999: 185-196 [doi]

An Extension of the WAM for Hybrid Interval SolversFrédéric Goualard, Frédéric Benhamou, Laurent Granvilliers. jflp, 1999(Special Issue 1), 1999.

Un outil de débogage du store pour la programmation par contraintesFrédéric Goualard, Frédéric Benhamou. jfplc 1999: 281-296

A Visualization Tool for Constraint Program DebuggingFrédéric Goualard, Frédéric Benhamou. ASE 1999: 110 [doi]

Box Consistency through Weak Box ConsistencyLaurent Granvilliers, Frédéric Goualard, Frédéric Benhamou. ictai 1999: 373-380 [doi]

1998

Newton - Constraint Programming over Nonlinear ConstraintsPascal Van Hentenryck, Laurent Michel, Frédéric Benhamou. SCP, 30(1-2):83-118, 1998.

1997

Applying Interval Arithmetic to Real, Integer, and Boolean ConstraintsFrédéric Benhamou, William J. Older. jlp, 32(1):1-24, 1997.

Automatic Generation of Numerical Redundancies for Non-Linear Constraint SolvingFrédéric Benhamou, Laurent Granvilliers. rc, 3(3):335-344, 1997. [doi]

Introduction to the Special Issue on Interval ConstraintsFrédéric Benhamou, Pascal Van Hentenryck. constraints, 2(2):107-112, 1997.

1996

Combining Local Consistency, Symbolic Rewriting and Interval MethodsFrédéric Benhamou, Laurent Granvilliers. AISC 1996: 144-159

Heterogeneous Constraint SolvingFrédéric Benhamou. icalp 1996: 62-76

1995

Prolog IV : langage et algorithmesFrédéric Benhamou, Touraïvane. jfplc 1995: 51-64

1994

Interval Constraint Logic ProgrammingFrédéric Benhamou. Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers 1995: 1-21

CLP(Intervals) RevisitedFrédéric Benhamou, David A. McAllester, Pascal Van Hentenryck. SLP 1994: 124-138

1993

Boolean Pseudo-equations in Constraint Logic ProgrammingFrédéric Benhamou, Jean-Luc Massat. ICLP 1993: 517-531

Programming in CLP(BNR)William J. Older, Frédéric Benhamou. ppcp 1993: 228-238

1991

Boolean Algorithms in Prolog IIIFrédéric Benhamou. wclp 1991: 307-325

Sign in or sign up to see more results.

runs on WebDSL