Author:Andrew Reynolds

Publications
Verifying SQL queries using theories of tables and relations Mudathir Mahgoub Yahia Mohamed, Andrew Reynolds, Cesare Tinelli and Clark Barrett In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Interactive SMT Tactic in Coq using Abductive Reasoning Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Conflicts, Models and Heuristics for Quantifier Instantiation in SMT Andrew Reynolds In:Vampire 2016. Proceedings of the 3rd Vampire Workshop