Portfolio-Based Algorithm Selection for Circuit QBFs

Abstract

Full Citation:

Hoos, Holger H., Peitl, Tom'a\vs, Slivovsky, Friedrich, Szeider, Stefan. Portfolio-Based Algorithm Selection for Circuit QBFs. QBF Workshop, 2018.

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.