@inproceedings{SchlaipferSlivovskyWeissenbacherZuleger20,
 author = {Matthias Schlaipfer and
Friedrich Slivovsky and
Georg Weissenbacher and
Florian Zuleger},
 booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference},
 editor = {Luca Pulina and
Martina Seidl},
 keywords = {l2solve},
 pages = {429–446},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Multi-linear Strategy Extraction for {QBF} Expansion Proofs via Local
Soundness},
 volume = {12178},
 year = {2020}
}