Abstract
Marko Samer, Stefan Szeider. 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.