EasyChair Smart Slide
An Interactive SMT Tactic in Coq Using Abductive Reasoning
An Interactive SMT Tactic in Coq Using Abductive Reasoning