Mathias Preiner
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
962014
Resolution-based certificate extraction for QBF
A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere
International Conference on Theory and Applications of Satisfiability …, 2012
532012
Btor2 , BtorMC and Boolector 3.0
A Niemetz, M Preiner, C Wolf, A Biere
International Conference on Computer Aided Verification, 587-595, 2018
282018
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
242013
Counterexample-guided model synthesis
M Preiner, A Niemetz, A Biere
International Conference on Tools and Algorithms for the Construction and …, 2017
192017
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
172018
Propagation based local search for bit-precise reasoning
A Niemetz, M Preiner, A Biere
Formal Methods in System Design 51 (3), 608-636, 2017
142017
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
142015
Model-based API testing for SMT solvers
A Niemetz, M Preiner, A Biere
Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017
122017
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
122016
Lemmas on demand for lambdas
M Preiner, A Niemetz, A Biere
Program Proceedings, 28, 2013
122013
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
102018
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
102014
Syntax-guided rewrite rule enumeration for smt solvers
A Nötzli, A Reynolds, H Barbosa, A Niemetz, M Preiner, C Barrett, ...
International Conference on Theory and Applications of Satisfiability …, 2019
52019
Rewrites for SMT solvers using syntax-guided enumeration
A Reynolds, H Barbosa, A Niemetz, A Nötzli, M Preiner, C Barrett, ...
SMT Workshop, 2018
32018
Lambdas, Arrays and Quantifiers
M Preiner
Johannes Kepler University, 2017
32017
Better lemmas with lambda extraction
M Preiner, A Niemetz, A Biere
2015 Formal Methods in Computer-Aided Design (FMCAD), 128-135, 2015
32015
Extracting and validating Skolem/Herbrand function-based QBF certificates
M Preiner
na, 2012
22012
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
J Scott, A Niemetz, M Preiner, V Ganesh
12020
Towards Bit-Width-Independent Proofs in SMT Solvers
A Niemetz, M Preiner, A Reynolds, Y Zohar, C Barrett, C Tinelli
International Conference on Automated Deduction, 366-384, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20