CalabroIP06'

BibTeX

@inproceedings{DBLP:conf/coco/CalabroIP06,
  author    = {Chris Calabro and
               Russell Impagliazzo and
               Ramamohan Paturi},
  title     = {A Duality between Clause Width and Clause Density for SAT},
  booktitle = {IEEE Conference on Computational Complexity},
  year      = {2006},
  pages     = {252-260},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CCC.2006.6},
  crossref  = {DBLP:conf/coco/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/coco/2006,
  title     = {21st Annual IEEE Conference on Computational Complexity
               (CCC 2006), 16-20 July 2006, Prague, Czech Republic},
  booktitle = {IEEE Conference on Computational Complexity},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {0-7695-2596-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}