Abstract
Slivovsky, Friedrich, Szeider, Stefan. 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.