Constraint propagation on quadratic constraints

DOI10.1007/s10601-009-9076-1zbMath1208.68200OpenAlexW2076722072MaRDI QIDQ606897

Ferenc Domes, Arnold Neumaier

Publication date: 19 November 2010

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-009-9076-1

zbMATH Keywords

quadratic programmingconstrained optimizationconstraint propagationconstraint programmingcontinuous constraintsrounding error controlverified computationquadratic constraint satisfaction problems

Mathematics Subject Classification ID

Quadratic programming (90C20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Deterministic global optimization of binary hybrid distillation/melt-crystallization processes based on relaxed MINLP formulations, Algorithmic differentiation techniques for global optimization in the COCONUT environment, EAGO.jl: easy advanced global optimization in Julia, A hybrid LP/NLP paradigm for global optimization relaxations, Linear and parabolic relaxations for quadratic constraints, Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO, A branch and bound algorithm for quantified quadratic programming, GLOMIQO: global mixed-integer quadratic optimizer, Using interval unions to solve linear systems of equations with uncertainties, A generalization of the classical \(\alpha \)BB convex underestimation via diagonal and nondiagonal quadratic terms, Rigorous filtering using linear relaxations, SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework, Reverse propagation of McCormick relaxations, Global solution of non-convex quadratically constrained quadratic programs, ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations, Rigorous verification of feasibility, Monotonic reformulation and bound tightening for global optimization of ideal multi-component distillation columns, Constraint aggregation for rigorous global optimization

Uses Software

• BARON
• GLOPT
• GLOPTLAB
• ICOS
• RealPaver
• COCONUT
• COPRIN
• PSICO
• Numerica
• Newton

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval analysis on directed acyclic graphs for global optimization
• Constraint propagation, relational arithmetic in AI systems and mathematical programs
• A scaling algorithm for polynomial constraint satisfaction problems
• Interval propagation and search on directed acyclic graphs for numerical constraint solving
• Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
• A gentle introduction to Numerica
• Newton: Constraint programming over nonlinear constraints
• Enclosing clusters of zeros of polynomials
• Sharp bounds on interval polynomial roots
• A rigorous global filtering algorithm for quadratic constraints
• Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
• PSICO: Solving protein structures with constraint programming and optimization
• The essence of constraint propagation
• Heterogeneous constraint solving
• Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations
• Guaranteed non-linear estimation using constraint propagation on sets
• G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems
• Algorithm 852
• Interval Methods for Systems of Equations
• Applying interval arithmetic to real, integer, and boolean constraints
• Complete search in continuous global optimization and constraint satisfaction
• Interval constraint propagation with application to bounded-error estimation