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