@inproceedings{conf/sara/ApolloniBP02,
  added-at = {2011-06-30T00:00:00.000+0200},
  author = {Apolloni, Bruno and Baraghini, Fabio and Palmas, Giorgio},
  biburl = {http://www.bibsonomy.org/bibtex/2aa4b83014dd7b599c7959d83984e16b5/dblp},
  booktitle = {SARA},
  crossref = {conf/sara/2002},
  editor = {Koenig, Sven and Holte, Robert C.},
  ee = {http://dx.doi.org/10.1007/3-540-45622-8_20},
  interhash = {d89a2124a893c9bfd83e3fda31601f4f},
  intrahash = {aa4b83014dd7b599c7959d83984e16b5},
  isbn = {3-540-43941-2},
  keywords = {dblp},
  pages = {274-281},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-06-30T00:00:00.000+0200},
  title = {PAC Meditation on Boolean Formulas.},
  url = {http://dblp.uni-trier.de/db/conf/sara/sara2002.html#ApolloniBP02},
  volume = 2371,
  year = 2002
}