Efficient and Safe Global Constraints for Handling Numerical Constraint Systems

DOI10.1137/S0036142903436174zbMath1082.65051MaRDI QIDQ5698733

David Daney, Michel Rueher, Claude Michel, Yahia Lebbah, Jean-Pierre Merlet

Publication date: 28 October 2005

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

zbMATH Keywords

interval arithmeticconstraint programmingglobal constraintreformulation linearization techniquebranch and prune algorithmssafe roundingsystems of equations and inequalities

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Numerical computation of solutions to systems of equations (65H10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) General methods in interval analysis (65G40)

Related Items (14)

An efficient and safe framework for solving optimization problems ⋮ A review of computation of mathematically rigorous bounds on optima of linear programs ⋮ Finding all solutions of separable systems of piecewise-linear equations using integer programming ⋮ An efficient algorithm for finding all solutions of nonlinear equations using parallelogram LP test ⋮ Adaptive constructive interval disjunction: algorithms and experiments ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ Upper bounding in inner regions for global optimization under inequality constraints ⋮ Reverse propagation of McCormick relaxations ⋮ Improving inter-block backtracking with interval Newton ⋮ A rigorous global filtering algorithm for quadratic constraints ⋮ Nonlinear biobjective optimization: improving the upper envelope using feasible line segments ⋮ LP narrowing: A new strategy for finding all solutions of nonlinear equations ⋮ Validated constraints solving --- practicalities, pitfalls, and new developments ⋮ Efficient task scheduling in the parallel result-verifying solution of nonlinear systems

Uses Software

• MPFI

This page was built for publication: Efficient and Safe Global Constraints for Handling Numerical Constraint Systems