An Interactive SMT Tactic in Coq using Abductive Reasoning.

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett

Browse the full LPAR paper archive.