Tseitin's Formula Revisited.

Jean-Denis Fouks

Published in: Theor. Comput. Sci. (1992)

Keyphrases

semidefinite
semidefinite programming
linear programming
sufficient conditions
interior point methods
support vector
dynamic programming
linear combination
vector space
higher dimensional