Inner and Outer Approximations of Existentially Quantified Equality Constraints.
Alexandre GoldsztejnLuc JaulinPublished in: CP (2006)
Keyphrases
- equality constraints
- existentially quantified
- logic programs
- universally quantified
- quadratic programming problems
- decomposition algorithm
- linear constraints
- nonlinear programming
- constrained optimization problems
- complex valued
- optimal solution
- predicate invention
- convex quadratic optimization
- neural network
- background knowledge