Andrew Reynolds
University of Iowa(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Medieval Literature and History, Logic, Reasoning, and Knowledge
Most-Cited Works
- → CVC4(2011)612 cited
- → cvc5: A Versatile and Industrial-Strength SMT Solver(2022)379 cited
- → Anglo-Saxon Deviant Burial Customs(2009)209 cited
- → A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions(2014)139 cited
- → Counterexample-Guided Quantifier Instantiation for Synthesis in SMT(2015)118 cited
- → SMTCoq: A Plug-In for Integrating SMT Solvers into Coq(2017)67 cited
- → cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis(2019)64 cited