Sciweavers

AISC
2004
Springer

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques

14 years 4 months ago
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. However, local computations may lead to slow convergences. In order to handle this problem, we introduce a symbolic technique to combine nonlinear constraints. Such redundant constraints are further simplified according to the precision of interval computations. As a consequence, constraint reasoning becomes tighter and the solving process faster. The efficiency of this approach is shown using experimental results from a prototype.
Laurent Granvilliers, Mina Ouabiba
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where AISC
Authors Laurent Granvilliers, Mina Ouabiba
Comments (0)