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