Constraint propagation on quadratic constraints
From MaRDI portal
Publication:606897
DOI10.1007/s10601-009-9076-1zbMath1208.68200OpenAlexW2076722072MaRDI QIDQ606897
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
quadratic programmingconstrained optimizationconstraint propagationconstraint programmingcontinuous constraintsrounding error controlverified computationquadratic constraint satisfaction problems
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
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
