Seguir
Mathias Preiner
Mathias Preiner
Dirección de correo verificada de cs.stanford.edu - Página principal
Título
Citado por
Citado por
Año
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
2902022
Boolector 2.0
A Niemetz, M Preiner, A Biere
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014
2222014
Btor2 , BtorMC and Boolector 3.0
A Niemetz, M Preiner, C Wolf, A Biere
International Conference on Computer Aided Verification, 587-595, 2018
942018
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
722012
Bitwuzla at the SMT-COMP 2020
A Niemetz, M Preiner
arXiv preprint arXiv:2006.01621, 2020
59*2020
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
462018
Counterexample-guided model synthesis
M Preiner, A Niemetz, A Biere
International Conference on Tools and Algorithms for the Construction and …, 2017
402017
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: 22nd …, 2019
36*2019
MachSMT: A machine learning-based algorithm selector for SMT solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Conference on Tools and Algorithms for the Construction and …, 2021
322021
Model-Based API Testing for SMT Solvers.
A Niemetz, M Preiner, A Biere
SMT, 3-14, 2017
272017
Propagation based local search for bit-precise reasoning
A Niemetz, M Preiner, A Biere
Formal Methods in System Design 51 (3), 608-636, 2017
252017
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
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
242016
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
212019
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
192014
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
182015
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
162021
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
152022
Lemmas on demand for lambdas
M Preiner, A Niemetz, A Biere
Program Proceedings, 28, 2013
142013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20