A generic framework for implicate generation modulo theories
From MaRDI portal
Publication:1799090
DOI10.1007/978-3-319-94205-6_19zbMath1437.68190arXiv1807.04557OpenAlexW2810160031MaRDI QIDQ1799090
Mnacho Echenim, Yanis Sellami, Nicolas Peltier
Publication date: 18 October 2018
Full work available at URL: https://arxiv.org/abs/1807.04557
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (2)
Scalable algorithms for abduction via enumerative syntax-guided synthesis ⋮ Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
Uses Software
This page was built for publication: A generic framework for implicate generation modulo theories
