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