@InProceedings{HoosPeitlSlivovskySzeider18a, author = "Hoos, Holger H. and Peitl, Tom{\'a}{\v{s}} and Slivovsky, Friedrich and Szeider, Stefan", title = "Portfolio-Based Algorithm Selection for Circuit {QBF}s", booktitle = "QBF Workshop", year = "2018" }