Satisfiability Coding Lemma.

Ramamohan Paturi Pavel Pudlák Francis Zane

Published in: Chic. J. Theor. Comput. Sci. (1999)

Keyphrases

coding scheme
coding method
np complete
satisfiability problem
propositional logic
computational complexity
real time
sat problem
decision procedures
data sets
filter bank
modal logic
phase transition
inter frame
quantified boolean formulas