| Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9, 53-58, 2015 | 61 | 2015 |
| 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 | 48 | 2012 |
| 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 | 22 | 2013 |
| Counterexample-guided model synthesis M Preiner, A Niemetz, A Biere International Conference on Tools and Algorithms for the Construction and …, 2017 | 17 | 2017 |
| 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 | 12 | 2018 |
| 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 | 11 | 2016 |
| Lemmas on demand for lambdas M Preiner, A Niemetz, A Biere Program Proceedings, 28, 2013 | 11 | 2013 |
| 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 | 8 | 2015 |
| 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 | 8 | 2014 |
| Btor2 , BtorMC and Boolector 3.0 A Niemetz, M Preiner, C Wolf, A Biere International Conference on Computer Aided Verification, 587-595, 2018 | 7 | 2018 |
| Propagation based local search for bit-precise reasoning A Niemetz, M Preiner, A Biere Formal Methods in System Design 51 (3), 608-636, 2017 | 7 | 2017 |
| Model-based API testing for SMT solvers A Niemetz, M Preiner, A Biere Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017 | 6 | 2017 |
| ddSMT: a delta debugger for the SMT-LIB v2 format A Niemetz, A Biere Proceedings of the 11th International Workshop on Satisfiability Modulo …, 2013 | 6 | 2013 |
| 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 | 2 | 2018 |
| Rewrites for SMT solvers using syntax-guided enumeration A Reynolds, H Barbosa, A Niemetz, A Nötzli, M Preiner, C Barrett, ... SMT Workshop, 2018 | 2 | 2018 |
| Bit-Precise Reasoning Beyond Bit-Blasting A Niemetz | 2 | 2017 |
| Syntax-Guided Rewrite Rule Enumeration for SMT Solvers A Noetzli, A Reynolds, H Barbosa, A Niemetz, M Preiner, C Barrett, ... | 2* | |
| Better lemmas with lambda extraction M Preiner, A Niemetz, A Biere Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015 | 1 | 2015 |
| Extracting and checking Q-resolution proofs from a state-of-the-art QBF-solver A Niemetz na, 2012 | 1 | 2012 |
| Extracting and Checking Q-Resolution Proofs from a State-Of-The-Art QBF-Solver A Niemetz | 1* | |
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
