Portfolio-Based Algorithm Selection for Circuit QBFs

Abstract

Full Citation:

Holger H. Hoos, Tom'a\vs Peitl, Friedrich Slivovsky, Stefan Szeider. Portfolio-Based Algorithm Selection for Circuit QBFs. 2018, Technical report AC-TR-18-004, Algorithms and Complexity Group, TU Wien.

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.