Enhancing numerical constraint propagation using multiple inclusion representations
From MaRDI portal
Publication:1039582
DOI10.1007/s10472-009-9129-6zbMath1186.68445OpenAlexW2011704635MaRDI QIDQ1039582
Djamila Sam-Haroud, Xuan-Ha Vu, B. V. Faltings
Publication date: 23 November 2009
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://infoscience.epfl.ch/record/159312
Related Items
A review of computation of mathematically rigorous bounds on optima of linear programs ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ A reliable affine relaxation method for global optimization
Uses Software
Cites Work
- Interval analysis on directed acyclic graphs for global optimization
- Interval propagation and search on directed acyclic graphs for numerical constraint solving
- Consistency in networks of relations
- A new method for global solution of systems of nonlinear equations
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
- Lower bound functions for polynomials
- Safe bounds in linear and mixed-integer linear programming
- Convex-concave extensions
- Comparison of interval methods for plotting algebraic curves
- A rigorous global filtering algorithm for quadratic constraints
- Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
- The essence of constraint propagation
- Heterogeneous constraint solving
- Algorithm 852
- Interval Methods for Systems of Equations
- Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
- Applying interval arithmetic to real, integer, and boolean constraints
- Complete search in continuous global optimization and constraint satisfaction
- Global Optimization and Constraint Satisfaction
- Automatic computation of a linear interval enclosure
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Enhancing numerical constraint propagation using multiple inclusion representations
