Semidefinite resolution and exactness of semidefinite relaxations for satisfiability.

Miguel F. Anjos Manuel V. C. Vieira

Published in: Discret. Appl. Math. (2013)

Keyphrases

semidefinite
semidefinite programming
convex relaxation
sufficient conditions
higher dimensional
interior point methods
convex sets
linear programming
high resolution
dynamic programming
shape analysis
globally optimal