Aina Niemetz
TítuloCitado porAño
Boolector 2.0
A Niemetz, M Preiner, A Biere
Journal on Satisfiability, Boolean Modeling and Computation 9, 53-58, 2015
592015
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
482012
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
222013
Counterexample-guided model synthesis
M Preiner, A Niemetz, A Biere
International Conference on Tools and Algorithms for the Construction and …, 2017
162017
Lemmas on demand for lambdas
M Preiner, A Niemetz, A Biere
Program Proceedings, 28, 2013
112013
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
102016
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
92018
Improving local search for bit-vector logics in SMT with path propagation
A Niemetz, M Preiner, A Biere, A Fröhlich
DIFTS@ FMCAD, 1-10, 2015
82015
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
82014
Propagation based local search for bit-precise reasoning
A Niemetz, M Preiner, A Biere
Formal Methods in System Design 51 (3), 608-636, 2017
62017
ddSMT: a delta debugger for the SMT-LIB v2 format
A Niemetz, A Biere
Proceedings of the 11th International Workshop on Satisfiability Modulo …, 2013
62013
Btor2 , BtorMC and Boolector 3.0
A Niemetz, M Preiner, C Wolf, A Biere
International Conference on Computer Aided Verification, 587-595, 2018
52018
Model-based API testing for SMT solvers
A Niemetz, M Preiner, A Biere
Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017
32017
Better lemmas with lambda extraction
M Preiner, A Niemetz, A Biere
Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015
12015
Extracting and checking Q-resolution proofs from a state-of-the-art QBF-solver
A Niemetz
na, 2012
12012
Extracting and Checking Q-Resolution Proofs from a State-Of-The-Art QBF-Solver
A Niemetz
1*
Towards Bit-Width-Independent Proofs in SMT Solvers
A Niemetz, M Preiner, A Reynolds, Y Zohar, C Barrett, C Tinelli
arXiv preprint arXiv:1905.10434, 2019
2019
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
2018
Boolector at the SMT Competition 2018
A Niemetz, M Preiner, A Biere
Technical report, FMV Reports Series, Institute for Formal Models and …, 2018
2018
Bit-Precise Reasoning Beyond Bit-Blasting
A Niemetz
2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20