Portfolio-Based Algorithm Selection for Circuit QBFs
Abstract
Holger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider. Portfolio-Based Algorithm Selection for Circuit QBFs. QBF Workshop, 2018.
Type
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.