Satisfiability Coding Lemma.

Ramamohan Paturi, Pavel Pudlk, Francis Zane

Browse the full FOCS paper archive.