Algorithms for Propositional Model Counting

Samer, Marko; Szeider, Stefan

by Marko Samer, Stefan Szeider

Reference:

Algorithms for Propositional Model CountingMarko Samer, Stefan SzeiderProceedings of LPAR 2007, 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, October 15-19, 2007 Yerevan, Armenia, volume 4790 of Lecture Notes in Computer Science, pages 484-498, 2007, Springer Verlag.

Bibtex Entry:

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