Abstract
Friedrich Slivovsky, Stefan Szeider. Model Counting for Formulas of Bounded Clique-Width. Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (Leizhen Cai and Siu-Wing Cheng and Tak Wah Lam), volume 8283 of Lecture Notes in Computer Science, pages 677-687, 2013, Springer Verlag.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.