Aina Niemetz

Navedeno

	Vse	Od leta 2020
Navedbe	1862	1574
indeks h	21	19
indeks i10	31	26

540

270

135

405

20132014201520162017201820192020202120222023202420257 27 11 33 57 59 83 119 187 239 404 534 81

Javni dostop

Prikaži vse

26 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Mathias PreinerStanford UniversityPreverjeni e-poštni naslov na cs.stanford.edu
Clark BarrettStanford UniversityPreverjeni e-poštni naslov na cs.stanford.edu
Cesare TinelliProfessor of Computer Science, The University of IowaPreverjeni e-poštni naslov na uiowa.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesPreverjeni e-poštni naslov na uiowa.edu
Armin BiereProfessor of Computer Science, University of FreiburgPreverjeni e-poštni naslov na informatik.uni-freiburg.de
Haniel BarbosaUniversidade Federal de Minas GeraisPreverjeni e-poštni naslov na dcc.ufmg.br
Yoni ZoharBar Ilan UniversityPreverjeni e-poštni naslov na biu.ac.il
Andres NötzliStanford UniversityPreverjeni e-poštni naslov na stanford.edu
Gereon KremerCertora LtdPreverjeni e-poštni naslov na cs.stanford.edu
Alex OzdemirStanford UniversityPreverjeni e-poštni naslov na stanford.edu
Martin BrainCity, University of LondonPreverjeni e-poštni naslov na city.ac.uk
Makai MannTechnical Staff, MIT Lincoln LaboratoryPreverjeni e-poštni naslov na ll.mit.edu
Ying ShengxAIPreverjeni e-poštni naslov na x.ai
Giles RegerAmazon (formerly University of Manchester, UK)Preverjeni e-poštni naslov na manchester.ac.uk
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAPreverjeni e-poštni naslov na gatech.edu
Joseph ScottUniversity of WaterlooPreverjeni e-poštni naslov na uwaterloo.ca
Saeed NejatiAmazonPreverjeni e-poštni naslov na amazon.com
Martina SeidlUniv.-Prof., JKU LinzPreverjeni e-poštni naslov na jku.at
Florian LonsingUnaffiliatedPreverjeni e-poštni naslov na florianlonsing.com
David DeharbeCLEARSYPreverjeni e-poštni naslov na clearsy.com

Spremljaj

Aina Niemetz

Stanford University

Preverjeni e-poštni naslov na cs.stanford.edu - Domača stran

Formal Methods Satisfiability Modulo Theories Automated Reasoning


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	535	2022
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	243	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	71	2019
Bitwuzla at the SMT-COMP 2020 A Niemetz, M Preiner arXiv preprint arXiv:2006.01621, 2020, 2020	70*	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	53	2018
Counterexample-guided model synthesis M Preiner, A Niemetz, A Biere International Conference on Tools and Algorithms for the Construction and …, 2017	45	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	43*	2019
Bitwuzla A Niemetz, M Preiner International Conference on Computer Aided Verification, 3-17, 2023	38	2023
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	38	2020
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
Model-based API testing for SMT solvers A Niemetz, M Preiner, A Biere Proceedings of the 15th International Workshop on Satisfiability Modulo …, 2017	31	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	31	2016
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
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
ddSMT: a delta debugger for the SMT-LIB v2 format A Niemetz, A Biere Proceedings of the 11th International Workshop on Satisfiability Modulo …, 2013	29	2013
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	28	2023

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji