Aina Niemetz

Citeret af

	Alle	Siden 2020
Henvisninger	1843	1556
h-index	21	19
i10-indeks	32	27

540

270

135

405

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

Offentlig adgang

Se alle

26 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Mathias PreinerStanford UniversityVerificeret mail på cs.stanford.edu
Clark BarrettStanford UniversityVerificeret mail på cs.stanford.edu
Cesare TinelliProfessor of Computer Science, The University of IowaVerificeret mail på uiowa.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerificeret mail på uiowa.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerificeret mail på informatik.uni-freiburg.de
Haniel BarbosaUniversidade Federal de Minas GeraisVerificeret mail på dcc.ufmg.br
Yoni ZoharBar Ilan UniversityVerificeret mail på biu.ac.il
Andres NötzliStanford UniversityVerificeret mail på stanford.edu
Gereon KremerCertora LtdVerificeret mail på cs.stanford.edu
Alex OzdemirStanford UniversityVerificeret mail på stanford.edu
Martin BrainCity, University of LondonVerificeret mail på city.ac.uk
Makai MannTechnical Staff, MIT Lincoln LaboratoryVerificeret mail på ll.mit.edu
Ying ShengxAIVerificeret mail på x.ai
Giles RegerAmazon (formerly University of Manchester, UK)Verificeret mail på manchester.ac.uk
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerificeret mail på gatech.edu
Joseph ScottUniversity of WaterlooVerificeret mail på uwaterloo.ca
Saeed NejatiAmazonVerificeret mail på amazon.com
Martina SeidlUniv.-Prof., JKU LinzVerificeret mail på jku.at
Florian LonsingUnaffiliatedVerificeret mail på florianlonsing.com
David DeharbeCLEARSYVerificeret mail på clearsy.com

Følg

Aina Niemetz

Stanford University

Verificeret mail på cs.stanford.edu - Startside

Formal Methods Satisfiability Modulo Theories Automated Reasoning


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere