Author:Clark Barrett

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
Tighter Abstract Queries in Neural Network Verification Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz In:Proceedings of 24th International 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