The following pages link to Frédéric Benhamou (Q227666):
Displaying 15 items.
- A branch and bound algorithm for numerical Max-CSP (Q968350) (← links)
- Automatic generation of numerical redundancies for nonlinear constraint solving (Q1371177) (← links)
- Newton: Constraint programming over nonlinear constraints (Q1380122) (← links)
- The octagon abstract domain for continuous constraints (Q2342596) (← links)
- (Q2729954) (← links)
- A Constraint Solver Based on Abstract Domains (Q2926656) (← links)
- Heterogeneous constraint solving (Q2956713) (← links)
- Symbolic-interval cooperation in constraint programming (Q2958925) (← links)
- Algorithm 852 (Q3549165) (← links)
- Applying interval arithmetic to real, integer, and boolean constraints (Q4352540) (← links)
- (Q4424853) (← links)
- (Q4472553) (← links)
- (Q4939293) (← links)
- Interval constraint solving for camera control and motion planning (Q5277713) (← links)
- Progress in the solving of a circuit design problem (Q5954664) (← links)
