Login / Signup
Satisfiability Coding Lemma.
Ramamohan Paturi
Pavel Pudlák
Francis Zane
Published in:
FOCS (1997)
Keyphrases
</>
coding scheme
satisfiability problem
coding method
np complete
phase transition
computational complexity
propositional logic
search algorithm
decision procedures
error control
real time
logic programs
terminological reasoning