Abstract
Friedrich Slivovsky, Stefan Szeider. Quantifier reordering for QBF. Journal of Automated Reasoning, volume 56, number 4, pages 459–477, 2016.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.