Samer, Marko

Recent Publications

Algorithms for propositional model counting

2010

Backdoor sets of quantified Boolean formulas

2009