Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
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
Cite
×