Ramamohan Paturi, Pavel Pudlák, Francis Zane. Satisfiability Coding Lemma. Chicago J. Theor. Comput. Sci., 1999, 1999. [doi]
@article{PaturiPZ99,
title = {Satisfiability Coding Lemma},
author = {Ramamohan Paturi and Pavel Pudlák and Francis Zane},
year = {1999},
url = {http://cjtcs.cs.uchicago.edu/articles/1999/11/contents.html},
researchr = {https://researchr.org/publication/PaturiPZ99},
cites = {0},
citedby = {0},
journal = {Chicago J. Theor. Comput. Sci.},
volume = {1999},
}