scientific article; zbMATH DE number 2080299
From MaRDI portal
Publication:4472553
zbMath1044.68738MaRDI QIDQ4472553
Frédéric Goualard, Frédéric Benhamou
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940067.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Contractor programming, Solving quantified constraint satisfaction problems, Quantified Constraints in Twenty Seventeen, Efficient solution of a class of quantified constraints with quantifier prefix exists-forall, Probabilistic constraints for nonlinear inverse problems, Upper bounding in inner regions for global optimization under inequality constraints, On a decision procedure for quantified linear programs, Construction of parametric barrier functions for dynamical systems using interval analysis, A comparison of complete global optimization solvers, Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas, Efficient handling of universally quantified inequalities, Quantified constraints under perturbation