Aina Niemetz
Stanford University
H-index: 18
North America-United States
Top articles of Aina Niemetz
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 | |
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 | |
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 | |
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 | |
Creating an Agile Hardware Design Flow | Rick Bahr Clark Barrett Nikhil Bhagdikar Alex Carsello Ross Daly | 2020/7/20 | |
Bitwuzla at the SMT-COMP 2020 | arXiv preprint arXiv:2006.01621, 2020 | Aina Niemetz Mathias Preiner | 2020/5/30 |
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 |