![](/img/cover-not-exists.png)
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers
Dross, Claire, Conchon, Sylvain, Kanig, Johannes, Paskevich, AndreiVolume:
56
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-015-9352-2
Date:
April, 2016
File:
PDF, 1.40 MB
english, 2016