Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMATH Open1142.68503OpenAlexW2486590071MaRDI QIDQ5479293FDOQ5479293

Authors: Gernot Stenz 

Publication date: 7 July 2006

Full work available at URL: https://doi.org/10.1007/11554554

Recommendations

• Tableaux and related methods
• scientific article; zbMATH DE number 28363
• scientific article; zbMATH DE number 1395652
• scientific article; zbMATH DE number 4219104
• Tableau-based reasoning for graph properties
• Tableau Calculi for Answer Set Programming
• Tableau complexes
• Tabular: Probabilistic Inference from the Spreadsheet
• GAC Via Unit Propagation

Mathematics Subject Classification ID

Cited In (1)

• Exploiting the real power of unit propagation lookahead

Uses Software

• DCTP

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

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