Skip to content
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Menu
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Menu
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Publication Details
AFRICAN RESEARCH NEXUS
SHINING A SPOTLIGHT ON AFRICAN RESEARCH
mathematics
Efficient and safe global constraints for handling numerical constraint systems
SIAM Journal on Numerical Analysis, Volume 42, No. 5, Year 2005
Notification
URL copied to clipboard!
Description
Numerical constraint systems are often handled by branch and prune algorithms that combine splitting techniques, local consistencies, and interval methods. This paper first recalls the principles of Quad, a global constraint that works on a tight and safe linear relaxation of quadratic subsystems of constraints. Then, it introduces a generalization of Quad to polynomial constraint systems. It also introduces a method to get safe linear relaxations and shows how to compute safe bounds of the variables of the linear constraint system. Different linearization techniques are investigated to limit the number of generated constraints. QuadSolver, a new branch and prune algorithm that combines Quad, local consistencies, and interval methods, is introduced. QuadSolver has been evaluated on a variety of benchmarks from kinematics, mechanics, and robotics. On these benchmarks, it outperforms classical interval methods as well as constraint satisfaction problem solvers and it compares well with state-of-the-art optimization solvers. © 2005 Society for Industrial and Applied Mathematics.
Authors & Co-Authors
Lebbah, Yahia
Algeria, Oran
Université Oran 1
France, Sophia Antipolis
Laboratoire D'informatique, Signaux et Systèmes de Sophia-antipolis
Michel, Claude
France, Nice
Université Côte D'azur
France, Sophia Antipolis
Laboratoire D'informatique, Signaux et Systèmes de Sophia-antipolis
Rueher, Michel
France, Nice
Université Côte D'azur
France, Sophia Antipolis
Laboratoire D'informatique, Signaux et Systèmes de Sophia-antipolis
Daney, David
France, Sophia Antipolis
Centre Inria Sophia Antipolis - Méditerranée
France, Sophia Antipolis
Laboratoire D'informatique, Signaux et Systèmes de Sophia-antipolis
Merlet, Jean Pierre
France, Sophia Antipolis
Centre Inria Sophia Antipolis - Méditerranée
France, Sophia Antipolis
Laboratoire D'informatique, Signaux et Systèmes de Sophia-antipolis
Statistics
Citations: 68
Authors: 5
Affiliations: 4
Identifiers
Doi:
10.1137/S0036142903436174
ISSN:
00361429
Research Areas
Health System And Policy