Abstract
Samer, Marko, Szeider, Stefan. Backdoor sets of quantified Boolean formulas. Journal of Automated Reasoning, volume 42, number 1, pages 77-97, 2009.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.