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