Scholar
Mathias Preiner
Google Scholar ID: -vsw3Z4AAAAJ
Stanford University
Satisfiability Modulo Theories
Automated Reasoning
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,249
H-index
21
i10-index
36
Publications
20
Co-authors
23
list available
Publications
2 items
Towards SMT Solver Stability via Input Normalization
2024
Cited
0
Satisfiability Modulo Extensional Constant Arrays (Extended Version)
Cited
0
Co-authors
9 total
Clark Barrett
Stanford University
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Andrew Reynolds
University of Iowa, Amazon Web Services
Armin Biere
Professor of Computer Science, University of Freiburg
Yoni Zohar
Bar Ilan University
Haniel Barbosa
Universidade Federal de Minas Gerais
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
Stefan Szeider
Professor, Head of Algorithms and Complexity Group, TU Wien, Vienna, Austria
