Abstract
Marko Samer, Stefan Szeider. Algorithms for propositional model counting. J. Discrete Algorithms, volume 8, number 1, pages 50-64, 2010.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.