On Compiling Structured CNFs to OBDDs

Bova, Simone; Slivovsky, Friedrich

by Simone Bova, Friedrich Slivovsky

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}
}