Efficient and Safe Global Constraints for Handling Numerical Constraint Systems

DOI10.1137/S0036142903436174zbMATH Open1082.65051MaRDI QIDQ5698733FDOQ5698733

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

Publication date: 28 October 2005

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

Recommendations

• A rigorous global filtering algorithm for quadratic constraints
• Solving Polynomial Systems Using a Branch and Prune Approach
• An efficient and safe framework for solving optimization problems
• Solving numerical constraints
• Linear and parabolic relaxations for quadratic constraints

zbMATH Keywords

constraint programmingglobal constraintinterval arithmeticreformulation 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) General methods in interval analysis (65G40) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20)

Cited In (16)

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

Uses Software

• MPFI

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5698733)