Slivovsky, Friedrich

Recent Publications

Portfolio Solvers for QDIMACS and QCIR
Hoos, Holger H., Tomas Peitl, Slivovsky, Friedrich, Stefan Szeider

Note: QBF Evaluation at SAT

bib
Portfolio-Based Algorithm Selection for Circuit QBFs
Hoos, Holger H., Tomas Peitl, Slivovsky, Friedrich, Stefan Szeider
QBF Workshop, 2018.
bib
Quantifier reordering for QBF
Slivovsky, Friedrich, Stefan Szeider
Journal of Automated Reasoning, volume 56, number 4, pages 459-477, 2016.
PDF bib DOI