Andrew Reynolds
Scholar

Andrew Reynolds

Google Scholar ID: -0T1EtoAAAAJ
University of Iowa, Amazon Web Services
Satisfiability Modulo TheoriesAutomated ReasoningAutomated Theorem Proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,993
 
H-index
31
 
i10-index
64
 
Publications
20
 
Co-authors
77
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
77 total
Cesare Tinelli
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Clark Barrett
Clark Barrett
Stanford University
Haniel Barbosa
Haniel Barbosa
Universidade Federal de Minas Gerais
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Mathias Preiner
Mathias Preiner
Stanford University
Co-author 7
Co-author 7
Co-author 8
Co-author 8