Login / Signup

Efficient solving of quantified inequality constraints over the real numbers.

Stefan Ratschan
Published in: ACM Trans. Comput. Log. (2006)
Keyphrases
  • real numbers
  • inequality constraints
  • nonlinear programming
  • equality constraints
  • convex quadratic
  • rough sets
  • linear programming
  • combinatorial optimization
  • real valued
  • constrained optimization