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

Schlaipfer, Matthias; Slivovsky, Friedrich; Weissenbacher, Georg; Zuleger, Florian

by Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger

Reference:

Multi-linear Strategy Extraction for QBF Expansion Proofs via Local SoundnessMatthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian ZulegerTheory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 429–446, 2020, Springer Verlag.

Bibtex Entry:

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