@inproceedings{SamerSzeider07b,
 author = {Marko Samer and Stefan Szeider},
 booktitle = {Proceedings of LPAR 2007, 
14th International Conference on
Logic for Programming, Artificial Intelligence and 
Reasoning, October 15-19, 2007 Yerevan, Armenia},
 pages = {484-498},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Algorithms for Propositional Model Counting},
 volume = {4790},
 year = {2007}
}