Follow
Aina Niemetz
Title
Cited by
Cited by
Year
Boolector 2.0
A Niemetz, M Preiner, A Biere
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014
1932014
cvc5: A versatile and industrial-strength SMT solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022
1262022
Btor2 , BtorMC and Boolector 3.0
A Niemetz, M Preiner, C Wolf, A Biere
International Conference on Computer Aided Verification, 587-595, 2018
742018
Resolution-Based Certificate Extraction for QBF: (Tool Presentation)
A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
642012
Bitwuzla at the SMT-COMP 2020
A Niemetz, M Preiner
arXiv preprint arXiv:2006.01621, 2020, 2020
42*2020
Solving quantified bit-vectors using invertibility conditions
A Niemetz, M Preiner, A Reynolds, C Barrett, C Tinelli
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
382018
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
372019
Counterexample-guided model synthesis
M Preiner, A Niemetz, A Biere
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
322017
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
30*2019
Model-based API testing for SMT solvers
A Niemetz, M Preiner, A Biere
Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017
262017
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
252013
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
232020
Propagation based local search for bit-precise reasoning
A Niemetz, M Preiner, A Biere
Formal Methods in System Design 51 (3), 608-636, 2017
212017
Precise and complete propagation based local search for satisfiability modulo theories
A Niemetz, M Preiner, A Biere
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
212016
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
202020
ddSMT: a delta debugger for the SMT-LIB v2 format
A Niemetz, A Biere
Proceedings of the 11th International Workshop on Satisfiability Modulo …, 2013
192013
Improving local search for bit-vector logics in SMT with path propagation
A Niemetz, M Preiner, A Biere, A Fröhlich
Proceedings of the Fourth International Workshop on Design and …, 2015
172015
Turbo-charging Lemmas on demand with don't care reasoning
A Niemetz, M Preiner, A Biere
2014 Formal Methods in Computer-Aided Design (FMCAD), 179-186, 2014
172014
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
142019
CVC4 at the SMT Competition 2018
C Barrett, H Barbosa, M Brain, D Ibeling, T King, P Meng, A Niemetz, ...
arXiv preprint arXiv:1806.08775, 2018
132018
The system can't perform the operation now. Try again later.
Articles 1–20