Global Optimization and Constraint Satisfaction
Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Article
The global resolution of constrained non-linear bi-objective optimization problems (NLBOO) aims at covering their Pareto-optimal front which is in general a one-manifold in
Chapter and Conference Paper
The chaos theory emerged at the end of the 19th century, and it has given birth to a deep mathematical theory in the 20th century, with a strong practical impact (e.g., weather forecast, turbulence analysis). ...
Article
This paper presents an interval-based method that follows the branch-and-prune scheme to compute a verified paving of a projection of the solution set of an under-constrained system. Benefits of this algorithm...
Chapter and Conference Paper
Parallel robots enjoy enhanced mechanical characteristics that have to be contrasted with a more complicated design. In particular, they often have parallel singularities at some poses, and the robot may becom...
Chapter and Conference Paper
Symmetry-breaking constraints in the form of inequalities between variables have been proposed for a few kind of solution symmetries in numeric CSPs. We show that, for the variable symmetries among those, the ...
Article
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to the reduction of the search spac...
Chapter and Conference Paper
This paper investigates the impact of the selection of a transversal on the speed of convergence of interval methods based on the nonlinear Gauss-Seidel scheme to solve nonlinear systems of equations. It is sh...
Book and Conference Proceedings
Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Chapter and Conference Paper
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals.
Chapter and Conference Paper
The structural rigidity property, a generalisation of Laman’s theorem which characterises generically rigid bar frameworks in 2D, is generally considered a good heuristic to detect rigidities in geometric cons...
Book and Conference Proceedings
First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers
Chapter and Conference Paper
This paper introduces a new rigidification method-using interval constraint programming techniques- to solve geometric constraint systems. Standard rigidification techniques are graph-constructive methods expl...