@misc{HoosPeitlSlivovskySzeider18b,
 author = {Hoos, Holger H. and Peitl, Tom{\'a}{\v{s}} and
Slivovsky, Friedrich and Szeider, Stefan},
 note = {QBF Evaluation at SAT},
 title = {Portfolio Solvers for {QDIMACS} and {QCIR}},
 year = {2018}
}