Relaxation on Optimization Predicates.

Hai-Feng Guo Miao Liu Bharat Jayaraman

Published in: ICLP (2006)

Keyphrases

global optimization
optimization problems
optimization method
convex relaxation
optimization algorithm
optimization process
knowledge base
optimization model
evolutionary algorithm
dynamic programming
user defined
constrained optimization
lagrangian relaxation
semidefinite