Interval propagation and search on directed acyclic graphs for numerical constraint solving

DOI10.1007/s10898-008-9386-7zbMath1179.90267OpenAlexW2063509176MaRDI QIDQ1041436

Hermann Schichl, Djamila Sam-Haroud, Xuan-Ha Vu

Publication date: 2 December 2009

Published in: Journal of Global Optimization (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/159250/files/10898_2008_Article_9386.pdf

zbMATH Keywords

branch and pruneinterval constraint propagation

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Nonconvex programming, global optimization (90C26)

Related Items (12)

Algorithmic differentiation techniques for global optimization in the COCONUT environment ⋮ A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations ⋮ Constraint propagation on quadratic constraints ⋮ SUSPECT: MINLP special structure detector for Pyomo ⋮ (Global) optimization: historical notes and recent developments ⋮ Variable symmetry breaking in numerical constraint problems ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ Bound constrained interval global optimization in the COCONUT environment ⋮ SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework ⋮ Reverse propagation of McCormick relaxations ⋮ First order rejection tests for multiple-objective optimization ⋮ Enhancing numerical constraint propagation using multiple inclusion representations

Uses Software

• ICOS
• RealPaver

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval analysis on directed acyclic graphs for global optimization
• Interval arithmetic with containment sets
• Consistency in networks of relations
• \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
• Networks of constraints: Fundamental properties and applications to picture processing
• Interval arithmetic
• Algorithm 852
• Interval Methods for Systems of Equations
• Applying interval arithmetic to real, integer, and boolean constraints
• Global Optimization and Constraint Satisfaction

This page was built for publication: Interval propagation and search on directed acyclic graphs for numerical constraint solving