Andrew Reynolds

University of Iowa — United States

Computer Science · Physical Sciences

28h-index3.3kcitations186works3.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(69), Logic, programming, and type systems(60), Software Testing and Debugging Techniques(30), Medieval Literature and History(21), Logic, Reasoning, and Knowledge(19)

Publications186 total

Artifact for Paper "Enumerating Choice Terms in Model-Based Quantifier Instantiation"
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
2026
Artifact for Paper "Enumerating Choice Terms in Model-Based Quantifier Instantiation"
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Solving Set Constraints with Comprehensions and Bounded Quantifiers
arXiv (Cornell University)·2025Open Access
477 Are We Managing Splenic Trauma Appropriately? Changes After Introduction of Major Trauma Centres
British journal of surgery·2025Open Access
Lean-SMT: An SMT tactic for discharging proof goals in Lean
arXiv (Cornell University)·2025Open Access
lean-smt: An SMT Tactic for Discharging Proof Goals in Lean
Lecture notes in computer science·2025· 6 citedOpen Access
Augmenting Model-Based Instantiation with Fast Enumeration
Lecture notes in computer science·2025Open Access
Burials, Boundaries and Charters in Anglo-Saxon England: A Reassessment
2024· 18 cited
Burial in Early Medieval England and Wales: Past, Present and Future
2024· 13 cited
Satisfiability Modulo Theories: A Beginner’s Tutorial
Lecture notes in computer science·2024· 1 citedOpen Access
Verifying SQL queries using theories of tables and relations
EPiC series in computing·2024· 2 citedOpen Access
Verifying SQL Queries using Theories of Tables and Relations
arXiv (Cornell University)·2024Open Access
Taking Form, Making Worlds: Cartonera Publishers in Latin America by Lucy Bell, Alex Ungprateeb Flynn, and Patrick O’Hare (review)
Hispanic Review·2024
Analysis of Delta in-out for Irish natural gas distribution network
Flow Measurement and Instrumentation·2024· 2 citedOpen Access
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
Lecture notes in computer science·2024· 4 citedOpen Access
The SemGuS Toolkit
Lecture notes in computer science·2024· 6 citedOpen Access
The SyGuS Language Standard Version 2.1
arXiv (Cornell University)·2023· 4 citedOpen Access
Combining Stable Infiniteness and (Strong) Politeness
Journal of Automated Reasoning·2023· 1 cited
Generating and Exploiting Automated Reasoning Proof Certificates
Communications of the ACM·2023· 13 cited
page 1 of 10Next →

Frequent Co-authors

Cesare Tinelli(26), Clark Barrett(21), Morgan Deters(7), Haniel Barbosa(7), Andres Nötzli(5), Liana Hadarean(4), Tim L. King(4), Tianyi Liang(4), Aina Niemetz(3), Mathias Preiner(3), Viktor Kunčak(3), Jasmin Christian Blanchette(3), Dejan Jovanović(2), Gereon Kremer(2), Hanna Lachnitt(2), Alex Ozdemir(2), Yoni Zohar(2), Guy Katz(2), Amit Kumar Goel(2), Sava Krstić(2)