HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Chantal Keller

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
Beagle as a HOL4 external ATP method
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller and Michael Norrish
In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Extended Resolution as Certificates for Propositional Logic
Chantal Keller
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving

Keyphrases

abduction, analytic tableaux, automated theorem proving, Beagle, Binary Decision Diagrams, Certificates, Coq, cvc5, Extended Resolution, HOL4, SMTCoq, tableaux.

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