| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 447 | 2022 |
| Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014 | 235 | 2014 |
| Btor2 , BtorMC and Boolector 3.0 A Niemetz, M Preiner, C Wolf, A Biere International Conference on Computer Aided Verification, 587-595, 2018 | 118 | 2018 |
| Resolution-Based Certificate Extraction for QBF: (Tool Presentation) A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere International Conference on Theory and Applications of Satisfiability …, 2012 | 75 | 2012 |
| Bitwuzla at the SMT-COMP 2020 A Niemetz, M Preiner arXiv preprint arXiv:2006.01621, 2020, 2020 | 68* | 2020 |
| The SMT Competition 2015–2018 T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019 | 67 | 2019 |
| Solving quantified bit-vectors using invertibility conditions A Niemetz, M Preiner, A Reynolds, C Barrett, C Tinelli International Conference on Computer Aided Verification, 236-255, 2018 | 51 | 2018 |
| Counterexample-guided model synthesis M Preiner, A Niemetz, A Biere International Conference on Tools and Algorithms for the Construction and …, 2017 | 42 | 2017 |
| Syntax-Guided Rewrite Rule Enumeration for SMT Solvers A Nötzli, A Reynolds, H Barbosa, A Niemetz, M Preiner, C Barrett, ... Theory and Applications of Satisfiability Testing (SAT), 2019 | 40* | 2019 |
| MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh Tools and Algorithms for the Construction and Analysis of Systems 12652, 303, 2020 | 36 | 2020 |
| Creating an Agile Hardware Design Flow R Bahr, C Barrett, N Bhagdikar, A Carsello, R Daly, C Donovick, D Durst, ... 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 32 | 2020 |
| Model-based API testing for SMT solvers A Niemetz, M Preiner, A Biere Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017 | 30 | 2017 |
| Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures. M Aigner, A Biere, CM Kirsch, A Niemetz, M Preiner POS@ SAT 29, 28-40, 2013 | 29 | 2013 |
| Propagation based local search for bit-precise reasoning A Niemetz, M Preiner, A Biere Formal Methods in System Design 51 (3), 608-636, 2017 | 28 | 2017 |
| Precise and complete propagation based local search for satisfiability modulo theories A Niemetz, M Preiner, A Biere International Conference on Computer Aided Verification, 199-217, 2016 | 28 | 2016 |
| ddSMT: a delta debugger for the SMT-LIB v2 format A Niemetz, A Biere Proceedings of the 11th International Workshop on Satisfiability Modulo …, 2013 | 28 | 2013 |
| Flexible proof production in an industrial-strength SMT solver H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ... International Joint Conference on Automated Reasoning, 15-35, 2022 | 26 | 2022 |
| Bitwuzla A Niemetz, M Preiner International Conference on Computer Aided Verification, 3-17, 2023 | 25 | 2023 |
| Syntax-guided quantifier instantiation A Niemetz, M Preiner, A Reynolds, C Barrett, C Tinelli International Conference on Tools and Algorithms for the Construction and …, 2021 | 25 | 2021 |
| Towards bit-width-independent proofs in SMT solvers A Niemetz, M Preiner, A Reynolds, Y Zohar, C Barrett, C Tinelli Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 24 | 2019 |
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
