Matthias Schlaipfer and Friedrich Slivovsky and Georg Weissenbacher and Florian Zuleger

Recent Publications

Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness

2020