Efficient Solving of Quantified Inequality Constraints over the Real Numbers

Stefan Ratschan

Published in: CoRR (2002)

Keyphrases

real numbers
inequality constraints
nonlinear programming
convex quadratic
linear programming
constrained optimization
image processing
constraint propagation
optimality conditions