HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Haniel Barbosa

Publications
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, Coq, cvc5, SMTCoq.

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