Portfolio Solvers for QDIMACS and QCIR
Abstract
Holger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider. Portfolio Solvers for QDIMACS and QCIR. 2018. (Note: QBF Evaluation at SAT)
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.