Ramamohan Paturi, Pavel Pudlák, Francis Zane. Satisfiability Coding Lemma. In FOCS. pages 566-574, 1997. [doi]
@inproceedings{PaturiPZ97,
title = {Satisfiability Coding Lemma},
author = {Ramamohan Paturi and Pavel Pudlák and Francis Zane},
year = {1997},
url = {http://computer.org/proceedings/focs/8197/81970566abs.htm},
researchr = {https://researchr.org/publication/PaturiPZ97},
cites = {0},
citedby = {0},
pages = {566-574},
booktitle = {FOCS},
}