Last update: Sun Jul 23 02:00:24 MDT 2017
@Article{Paturi:1999:SCL, author = "Ramamohan Paturi and Pavel Pudlak and Francis Zane", title = "Satisfiability Coding Lemma", journal = j-CHIC-J-THEOR-COMPUT-SCI, day = "31", month = dec, year = "1999", ISSN = "1073-0486", bibdate = "Sat Oct 21 13:49:26 2000", bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/11/contents.html", acknowledgement = ack-nhfb, }