Aina Niemetz

Citada per

	Totes	Des de 2020
Citacions	1843	1556
Índex h	21	19
Índex i10	32	27

540

270

135

405

20132014201520162017201820192020202120222023202420257 27 11 33 57 58 83 118 184 244 410 525 66

Accés públic

Mostra-ho tot

26 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Mathias PreinerStanford UniversityCorreu electrònic verificat a cs.stanford.edu
Clark BarrettStanford UniversityCorreu electrònic verificat a cs.stanford.edu
Cesare TinelliProfessor of Computer Science, The University of IowaCorreu electrònic verificat a uiowa.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesCorreu electrònic verificat a uiowa.edu
Armin BiereProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
Haniel BarbosaUniversidade Federal de Minas GeraisCorreu electrònic verificat a dcc.ufmg.br
Yoni ZoharBar Ilan UniversityCorreu electrònic verificat a biu.ac.il
Andres NötzliStanford UniversityCorreu electrònic verificat a stanford.edu
Gereon KremerCertora LtdCorreu electrònic verificat a cs.stanford.edu
Alex OzdemirStanford UniversityCorreu electrònic verificat a stanford.edu
Martin BrainCity, University of LondonCorreu electrònic verificat a city.ac.uk
Makai MannTechnical Staff, MIT Lincoln LaboratoryCorreu electrònic verificat a ll.mit.edu
Ying ShengxAICorreu electrònic verificat a x.ai
Giles RegerAmazon (formerly University of Manchester, UK)Correu electrònic verificat a manchester.ac.uk
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USACorreu electrònic verificat a gatech.edu
Joseph ScottUniversity of WaterlooCorreu electrònic verificat a uwaterloo.ca
Saeed NejatiAmazonCorreu electrònic verificat a amazon.com
Martina SeidlUniv.-Prof., JKU LinzCorreu electrònic verificat a jku.at
Florian LonsingUnaffiliatedCorreu electrònic verificat a florianlonsing.com
David DeharbeCLEARSYCorreu electrònic verificat a clearsy.com

Segueix

Aina Niemetz

Stanford University

Correu electrònic verificat a cs.stanford.edu - Pàgina d'inici

Formal Methods Satisfiability Modulo Theories Automated Reasoning


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	525	2022
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	239	2014
Btor2 , BtorMC and Boolector 3.0 A Niemetz, M Preiner, C Wolf, A Biere International Conference on Computer Aided Verification, 587-595, 2018	136	2018
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	76	2012
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	72	2019
Bitwuzla at the SMT-COMP 2020 A Niemetz, M Preiner arXiv preprint arXiv:2006.01621, 2020, 2020	71*	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	54	2018
Counterexample-guided model synthesis M Preiner, A Niemetz, A Biere International Conference on Tools and Algorithms for the Construction and …, 2017	44	2017
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	41*	2019
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	39	2020
Bitwuzla A Niemetz, M Preiner International Conference on Computer Aided Verification, 3-17, 2023	37	2023
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	32	2020
Propagation based local search for bit-precise reasoning A Niemetz, M Preiner, A Biere Formal Methods in System Design 51 (3), 608-636, 2017	30	2017
Model-based API testing for SMT solvers A Niemetz, M Preiner, A Biere Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017	30	2017
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	30	2016
ddSMT: a delta debugger for the SMT-LIB v2 format A Niemetz, A Biere Proceedings of the 11th International Workshop on Satisfiability Modulo …, 2013	30	2013
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	30	2013
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	29	2022
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	29	2021
IPASIR-UP: User Propagators for CDCL K Fazekas, A Niemetz, M Preiner, M Kirchweger, S Szeider, A Biere 26th International Conference on Theory and Applications of Satisfiability …, 2023	26	2023

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors