Matthias Schlaipfer and Friedrich Slivovsky and Georg Weissenbacher and Florian Zuleger

Recent Publications

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

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.