CalabroIKP03'

BibTeX

@inproceedings{DBLP:conf/coco/CalabroIKP03,
  author    = {Chris Calabro and
               Russell Impagliazzo and
               Valentine Kabanets and
               Ramamohan Paturi},
  title     = {The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs},
  booktitle = {IEEE Conference on Computational Complexity},
  year      = {2003},
  pages     = {135-},
  ee        = {http://csdl.computer.org/comp/proceedings/complexity/2003/1879/00/18790135abs.htm},
  crossref  = {DBLP:conf/coco/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/coco/2003,
  title     = {18th Annual IEEE Conference on Computational Complexity
               (Complexity 2003), 7-10 July 2003, Aarhus, Denmark},
  booktitle = {IEEE Conference on Computational Complexity},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1879-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}