Scholar
Andrew Reynolds
Google Scholar ID: -0T1EtoAAAAJ
University of Iowa, Amazon Web Services
Satisfiability Modulo Theories
Automated Reasoning
Automated Theorem Proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,993
H-index
31
i10-index
64
Publications
20
Co-authors
77
list available
Publications
4 items
Automated Reasoning with Nested Datatypes
2026
Cited
0
Solving Set Constraints with Comprehensions and Bounded Quantifiers
2025
Cited
0
Lean-SMT: An SMT tactic for discharging proof goals in Lean
2025
Cited
0
Towards SMT Solver Stability via Input Normalization
2024
Cited
0
Co-authors
8 total
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Clark Barrett
Stanford University
Haniel Barbosa
Universidade Federal de Minas Gerais
Mathias Preiner
Stanford University
Yoni Zohar
Bar Ilan University
Dejan Jovanović
Amazon Web Services
Ying Sheng
xAI
Viktor Kunčak
EPFL
