Matthias Schlaipfer
Matthias Schlaipfer
Amazon Web Services
Verified email at - Homepage
Cited by
Cited by
Optimizing big-data queries using program synthesis
M Schlaipfer, K Rajan, A Lal, M Samak
Proceedings of the 26th Symposium on Operating Systems Principles, 631-646, 2017
Generalized reactivity (1) synthesis without a monolithic strategy
M Schlaipfer, G Hofferek, R Bloem
Haifa Verification Conference, 20-34, 2011
Labelled interpolation systems for hyper-resolution, clausal, and local proofs
M Schlaipfer, G Weissenbacher
Journal of automated reasoning 57 (1), 3-36, 2016
Reduction of resolution refutations and interpolants via subsumption
R Bloem, S Malik, M Schlaipfer, G Weissenbacher
Haifa Verification Conference, 188-203, 2014
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
M Schlaipfer, F Slivovsky, G Weissenbacher, F Zuleger
International Conference on Theory and Applications of Satisfiability …, 2020
Efficient translation of sequent calculus proofs into natural deduction proofs
G Ebner, M Schlaipfer
PAAR 2018, 17-33, 2018
Program synthesis for query optimization
K Rajan, A Lal, M Schlaipfer
US Patent 11,016,974, 2021
The system can't perform the operation now. Try again later.
Articles 1–7