4 papers
A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations
Frédéric Goualard, Alexandre Goldsztejn
Numerical methods based on interval arithmetic are efficient means to reliably solve nonlinear systems of equations. Algorithm bc3revise is an interval method that tightens variabl…
Directional Consistency for Continuous Numerical Constraints
Frederic Goualard, Laurent Granvilliers
Bounds consistency is usually enforced on continuous constraints by first decomposing them into binary and ternary primitives. This decomposition has long been shown to drastically…
Component Programming and Interoperability in Constraint Solver Design
Frederic Goualard
Prolog was once the main host for implementing constraint solvers. It seems that it is no longer so. To be useful, constraint solvers have to be integrable into industrial applicat…
Interval Constraint Solving for Camera Control and Motion Planning
Frederic Benhamou, Frederic Goualard, Eric Languenou +1
Many problems in robust control and motion planning can be reduced to either find a sound approximation of the solution space determined by a set of nonlinear inequalities, or to t…