Entailment with Conditional Equality Constraints.
Zhendong SuAlexander AikenPublished in: ESOP (2001)
Keyphrases
- equality constraints
- monotonicity constraints
- equality and inequality constraints
- linear constraints
- decomposition algorithm
- quadratic programming problems
- nonlinear programming
- inequality constraints
- constrained optimization problems
- karush kuhn tucker
- complex valued
- optimal solution
- convex quadratic optimization
- probabilistic logic programs
- evolutionary algorithm
- optimality conditions
- real valued
- optimization problems
- constrained optimization
- artificial neural networks
- learning algorithm
- genetic algorithm