Samer, Marko

Recent Publications

Algorithms for propositional model counting
Samer, Marko, Stefan Szeider
J. Discrete Algorithms, volume 8, number 1, pages 50-64, 2010.
PDF Cite DOI
Backdoor sets of quantified Boolean formulas
Samer, Marko, Stefan Szeider
Journal of Automated Reasoning, volume 42, number 1, pages 77-97, 2009.
PDF Cite DOI