Login / Signup
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