Algorithms for propositional model counting (bibtex)
by ,
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},
     url   = {https://www.ac.tuwien.ac.at/files/pub/SamerSzeider10.pdf},

}
Powered by bibtexbrowser