Slivovsky, Friedrich

Recent Publications

Portfolio-Based Algorithm Selection for Circuit QBFs

2018

Quantifier reordering for QBF

2016