@article{SamerSzeider10b,
Author = {Samer, M. and Szeider, S.},
Doi = {10.1016/j.jda.2009.06.002},
Journal = jda,
Number = {1},
Pages = {50---64},
Title = {Algorithms for propositional model counting},
Volume = {8},
Year = {2010},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.jda.2009.06.002}}