Matthias Schlaipfer

According to our database, Matthias Schlaipfer authored at least 6 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2018

Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.

Gabriel Ebner, Matthias Schlaipfer

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

Optimizing Big-Data Queries Using Program Synthesis.

Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.

Matthias Schlaipfer, Georg Weissenbacher

J. Autom. Reason., 2016

2014

Reduction of Resolution Refutations and Interpolants via Subsumption.

Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher

Proceedings of the Hardware and Software: Verification and Testing, 2014

2011

Generalized Reactivity(1) Synthesis without a Monolithic Strategy.

Matthias Schlaipfer, Georg Hofferek, Roderick Bloem

Proceedings of the Hardware and Software: Verification and Testing, 2011