Satisfiability, Branch-Width and Tseitin tautologies.

Michael Alekhnovich Alexander A. Razborov

Published in: Comput. Complex. (2011)

Keyphrases

semidefinite
satisfiability problem
semidefinite programming
sufficient conditions
convex relaxation
computational complexity
machine learning
training set
dynamic programming
higher dimensional
finite dimensional
interior point methods