Inner and Outer Approximations of Existentially Quantified Equality Constraints

DOI10.1007/11889205_16zbMath1160.68546OpenAlexW1530296569MaRDI QIDQ3524242

Jaulin, Luc, Alexandre Goldsztejn

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11889205_16

Mathematics Subject Classification ID

Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (10)

Solving equations and optimization problems with uncertainty ⋮ Contractor programming ⋮ Solving set-valued constraint satisfaction problems ⋮ Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals ⋮ Set-membership state estimation with fleeting data ⋮ Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems ⋮ Combining interval analysis with flatness theory for state estimation of sailboat robots ⋮ Kernel characterization of an interval function ⋮ Interval-based projection method for under-constrained numerical systems ⋮ Efficient handling of universally quantified inequalities

This page was built for publication: Inner and Outer Approximations of Existentially Quantified Equality Constraints