Slivovsky, Friedrich

Recent Publications

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