Matthias Schlaipfer

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 4

Top Topics

Multiresolution

Natural Deduction

Sequent Calculus

Top Venues

J. Autom. Reason.

Publications

Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. SAT (2020)
Gabriel Ebner, Matthias Schlaipfer
Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs. PAAR@FLoC (2018)
Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak
Optimizing Big-Data Queries Using Program Synthesis. SOSP (2017)
Matthias Schlaipfer, Georg Weissenbacher
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. J. Autom. Reason. 57 (1) (2016)
Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
Reduction of Resolution Refutations and Interpolants via Subsumption. Haifa Verification Conference (2014)
Matthias Schlaipfer, Georg Hofferek, Roderick Bloem
Generalized Reactivity(1) Synthesis without a Monolithic Strategy. Haifa Verification Conference (2011)