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