${\mathcal{T}}$ -Decision by Decomposition

DOI10.1007/978-3-540-73595-3_14zbMath1213.68567OpenAlexW1792111512MaRDI QIDQ3608774

Mnacho Echenim, Maria Paola Bonacina

Publication date: 6 March 2009

Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_14

Mathematics Subject Classification ID

Related Items (3)

On deciding satisfiability by theorem proving with speculative inferences ⋮ Combinable Extensions of Abelian Groups ⋮ Theory decision by decomposition

Uses Software

• SIMPLIFY
• E Theorem Prover

This page was built for publication: ${\mathcal{T}}$ -Decision by Decomposition