An Extended Semidefinite Relaxation for Satisfiability.

Miguel F. Anjos

Published in: J. Satisf. Boolean Model. Comput. (2008)

Keyphrases

semidefinite
semidefinite programming
convex relaxation
interior point methods
sufficient conditions
higher dimensional
convex sets
lower bound
multi view
vector space