Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Georg Weissenbacher
Recent Publications
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
Matthias Schlaipfer
,
Friedrich Slivovsky
,
Georg Weissenbacher
,
Florian Zuleger
Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference
(Luca Pulina and Martina Seidl), volume 12178 of
Lecture Notes in Computer Science
, pages 429-446, 2020, Springer.
bib
Project
Full Publication List »
bib
×