{\mathcal{T}} -Decision by Decomposition

DOI10.1007/978-3-540-73595-3_14MaRDI QIDQ3608774zbMATH OpenOpenAlexFDO

Authors Maria Paola Bonacina, Mnacho Echenim

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

Recommendations

• Theory decision by decomposition
• Rewrite-based decision procedures
• New results on rewrite-based satisfiability procedures
• On Variable-inactivity and Polynomial Formula-Satisfiability Procedures
• Satisfiability modulo theories

Cited in

(4)

• Theory decision by decomposition
• On deciding satisfiability by theorem proving with speculative inferences
• Combinable Extensions of Abelian Groups
• On Variable-inactivity and Polynomial Formula-Satisfiability Procedures

Describes a project that uses

Uses Software

• SIMPLIFY
• E Theorem Prover

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608774)