Adding decision procedures to SMT solvers using axioms with triggers
From MaRDI portal
Publication:287384
DOI10.1007/s10817-015-9352-2zbMath1356.68187MaRDI QIDQ287384
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9352-2
03B35: Mechanization of proofs and logical operations
Uses Software