Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP.

Dmitry Itsykson Vsevolod Oparin

Published in: CSR (2013)

Keyphrases

tree decompositions
semidefinite
constraint satisfaction problems
tree decomposition
constraint satisfaction
high resolution
theorem proving
machine learning
special case
optimization method
higher dimensional
semidefinite programming