HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

abduction, abstraction refinement, bags, CEGAR, Coq, cvc5, neural networks, relations, sets, SMT, SMTCoq, SQL, tables, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.