ECCC-TR02-003'

BibTeX

@article{DBLP:journals/eccc/ECCC-TR02-003,
  author    = {Eli Ben-Sasson and
               Yonatan Bilu},
  title     = {A Gap in Average Proof Complexity},
  journal   = {Electronic Colloquium on Computational Complexity (ECCC)},
  number    = {003},
  year      = {2002},
  ee        = {http://eccc.hpi-web.de/eccc-reports/2002/TR02-003/index.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}