Algorithms for propositional model counting

Samer, Marko; Szeider, Stefan

doi:10.1016/j.jda.2009.06.002

by Marko Samer, Stefan Szeider

Reference:

Algorithms for propositional model countingMarko Samer, Stefan SzeiderJ. Discrete Algorithms, volume 8, number 1, pages 50-64, 2010.

Bibtex Entry:

@string{jda="J. Discrete Algorithms"}
@article {SamerSzeider10,
    author = {Samer, Marko and Szeider, Stefan},
     title = {Algorithms for propositional model counting},
   journal = JDA,
    volume = {8},
      year = {2010},
    number = {1},
     pages = {50-64},
     doi   = {10.1016/j.jda.2009.06.002},
     url   = {https://www.ac.tuwien.ac.at/files/pub/SamerSzeider10.pdf},

}