On Compiling Structured CNFs to OBDDs (bibtex)
by ,
Reference:
On Compiling Structured CNFs to OBDDsSimone Bova, Friedrich SlivovskyComputer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings, pages 80–93, 2015.
Bibtex Entry:
@inproceedings{BovaSlivovsky15,
  author    = {Simone Bova and
               Friedrich Slivovsky},
  title     = {On Compiling Structured CNFs to OBDDs},
  booktitle = {Computer Science - Theory and Applications - 10th International Computer
               Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
               13-17, 2015, Proceedings},
  pages     = {80--93},
  year      = {2015}
}
Powered by bibtexbrowser