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. Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 195-209, 2018, Springer Verlag.

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.