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

Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger

Browse the full SAT paper archive.