General Resolution of Tseitin Formulas is Hard.

Jean-Denis Fouks

Published in: ICALP (1991)

Keyphrases

special case
semidefinite
learning algorithm
linear combination
text categorization
semidefinite programming