Mathias Preiner
Stanford University
H-index: 16
North America-United States
Top articles of Mathias Preiner
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Generating and Exploiting Automated Reasoning Proof Certificates | Communications of the ACM | Haniel Barbosa Clark Barrett Byron Cook Bruno Dutertre Gereon Kremer | 2023/9/22 |
Bitwuzla | Aina Niemetz Mathias Preiner | 2023/7/17 | |
Algorithm selection for SMT: MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers | International Journal on Software Tools for Technology Transfer | Joseph Scott Aina Niemetz Mathias Preiner Saeed Nejati Vijay Ganesh | 2023/4 |
IPASIR-UP: User Propagators for CDCL | Katalin Fazekas Aina Niemetz Mathias Preiner Markus Kirchweger Stefan Szeider | 2023 | |
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language | Andres Nötzli Haniel Barbosa Aina Niemetz Mathias Preiner Andrew Reynolds | 2022/10/12 | |
Murxla: A modular and highly extensible API fuzzer for SMT solvers | Aina Niemetz Mathias Preiner Clark Barrett | 2022/8/6 | |
Flexible proof production in an industrial-strength SMT solver | Haniel Barbosa Andrew Reynolds Gereon Kremer Hanna Lachnitt Aina Niemetz | 2022/8 | |
cvc5: A versatile and industrial-strength SMT solver | Haniel Barbosa Clark Barrett Martin Brain Gereon Kremer Hanna Lachnitt | 2022 | |
Bit-precise reasoning via Int-blasting | Yoni Zohar Ahmed Irfan Makai Mann Aina Niemetz Andres Nötzli | 2022/1/14 | |
The FMCAD 2022 Student Forum | Mathias Preiner | 2022/10/17 | |
CVC 5 at the SMT Competition 2022 | Haniel Barbosa Clark Barrett Martin Brain Gereon Kremer Hanna Lachnitt | 2022 | |
Towards Satisfiability Modulo Parametric Bit-vectors | Journal of automated reasoning | Aina Niemetz Mathias Preiner Andrew Reynolds Yoni Zohar Clark Barrett | 2021/10 |
ddSMT 2.0: better delta debugging for the SMT-LIBv2 language and friends | Gereon Kremer Aina Niemetz Mathias Preiner | 2021/7/15 | |
On solving quantified bit-vector constraints using invertibility conditions | Formal Methods in System Design | Aina Niemetz Mathias Preiner Andrew Reynolds Clark Barrett Cesare Tinelli | 2021/7 |
Syntax-guided quantifier instantiation | Aina Niemetz Mathias Preiner Andrew Reynolds Clark Barrett Cesare Tinelli | 2021/3/23 | |
MachSMT: A machine learning-based algorithm selector for SMT solvers | Tools and Algorithms for the Construction and Analysis of Systems | Joseph Scott Aina Niemetz Mathias Preiner Saeed Nejati Vijay Ganesh | 2020 |
Ternary Propagation-Based Local Search for more Bit-Precise Reasoning | Aina Niemetz Mathias Preiner | 2020/9/21 | |
Bitwuzla at the SMT-COMP 2020 | arXiv preprint arXiv:2006.01621, 2020 | Aina Niemetz Mathias Preiner | 2020/5/30 |
Co-Authors
