DBLP Record 'journals/cjtcs/PaturiPZ99'

BibTeX

@article{DBLP:journals/cjtcs/PaturiPZ99,
  author    = {Ramamohan Paturi and
               Pavel Pudl{\'a}k and
               Francis Zane},
  title     = {Satisfiability Coding Lemma},
  journal   = {Chicago J. Theor. Comput. Sci.},
  volume    = {1999},
  year      = {1999},
  ee        = {http://cjtcs.cs.uchicago.edu/articles/1999/11/contents.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}