Volgen
Matthias Schlaipfer
Matthias Schlaipfer
Amazon Web Services
Geverifieerd e-mailadres voor amazon.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
182017
Generalized reactivity (1) synthesis without a monolithic strategy
M Schlaipfer, G Hofferek, R Bloem
Hardware and Software: Verification and Testing: 7th International Haifa …, 2012
102012
Labelled interpolation systems for hyper-resolution, clausal, and local proofs
M Schlaipfer, G Weissenbacher
Journal of Automated Reasoning 57, 3-36, 2016
72016
Reduction of resolution refutations and interpolants via subsumption
R Bloem, S Malik, M Schlaipfer, G Weissenbacher
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
72014
Multi-linear strategy extraction for QBF expansion proofs via local soundness
M Schlaipfer, F Slivovsky, G Weissenbacher, F Zuleger
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
22020
Program synthesis for query optimization
K Rajan, A Lal, M Schlaipfer
US Patent 11,016,974, 2021
12021
Efficient translation of sequent calculus proofs into natural deduction proofs
G Ebner, M Schlaipfer
PAAR 2018, 17-33, 2018
12018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7