A Characterization of Tree-Like Resolution Size. Beyersdorff, O., Galesi, N., & Lauria, M. Electron. Colloquium Comput. Complex., 19:161, 2012.
A Characterization of Tree-Like Resolution Size. [link]Link  A Characterization of Tree-Like Resolution Size. [link]Paper  bibtex   
@article{journals/eccc/BeyersdorffGL12,
  added-at = {2020-09-08T00:00:00.000+0200},
  author = {Beyersdorff, Olaf and Galesi, Nicola and Lauria, Massimo},
  biburl = {https://www.bibsonomy.org/bibtex/2cb224194af11312b150f498fe0d33a19/dblp},
  ee = {http://eccc.hpi-web.de/report/2012/161},
  interhash = {1ff29e73f43b71a28639318b88eeed48},
  intrahash = {cb224194af11312b150f498fe0d33a19},
  journal = {Electron. Colloquium Comput. Complex.},
  keywords = {dblp},
  pages = 161,
  timestamp = {2020-09-09T12:32:35.000+0200},
  title = {A Characterization of Tree-Like Resolution Size.},
  url = {http://dblp.uni-trier.de/db/journals/eccc/eccc19.html#BeyersdorffGL12},
  volume = 19,
  year = 2012
}

Downloads: 0