{\mathcal{T}} -Decision by Decomposition

DOI10.1007/978-3-540-73595-3_14zbMATH Open1213.68567OpenAlexW1792111512MaRDI QIDQ3608774FDOQ3608774

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

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

Mathematics Subject Classification ID

Cited In (4)

• On deciding satisfiability by theorem proving with speculative inferences
• On Variable-inactivity and Polynomial Formula-Satisfiability Procedures
• 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

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