C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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