Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMATH Open1133.68326OpenAlexW2486590071MaRDI QIDQ5479280FDOQ5479280

Authors Neil V. Murray, Erik Rosenthal

Publication date 7 July 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Data structures (68P05) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Recommendations

• Efficient query processing with reduced implicate tries
• scientific article; zbMATH DE number 1946853
• Knowledge compilation and theory approximation
• Updating Reduced Implicate Tries
• Knowledge compilation meets database theory: compiling queries to decision diagrams

Cited in

(7)

• Knowledge compilation using the extension rule
• Efficient query processing with reduced implicate tries
• A framework for method-specific knowledge compilation from databases
• Knowledge compilation meets database theory: compiling queries to decision diagrams
• Updating Reduced Implicate Tries
• On the benefits of knowledge compilation for feature-model analyses
• Logic Programming

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 Q5479280)