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

Matthias Schlaipfer and Friedrich Slivovsky and Georg Weissenbacher and Florian Zuleger
January 2020
Cite Project
Type
Conference Paper
L2solve