Adding Decision Procedures to SMT Solvers Using Axioms with Triggers

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich. Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. Journal of Automated Reasoning, 56(4):387-457, 2016. [doi]

Abstract

Abstract is missing.