The complexity of analytic tableaux

DOI10.2178/JSL/1154698576MaRDI QIDQ3410672zbMATH OpenOpenAlexFDO

Authors Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart

Publication date 29 November 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1154698576

zbMATH Keywords

analytic tableauxproof complexitytree resolution

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• The complexity of analytic tableaux
• The proof complexity of analytic and clausal tableaux
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• On the Computational Intractability of Analytic Tableau Methods
• The expected complexity of analytic tableaux analyses in propositional calculus. II

Cites work

• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• On the Computational Intractability of Analytic Tableau Methods
• The Complexity of Propositional Proofs
• The proof complexity of analytic and clausal tableaux
• The relative efficiency of propositional proof systems

Cited in

(13)

• On the relative merits of path dissolution and the method of analytic tableaux
• The expected complexity of analytic tableaux analyses in propositional calculus. II
• The proof complexity of analytic and clausal tableaux
• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
• A bibliography on analytic tableaux theorem proving
• scientific article; zbMATH DE number 440107 (Why is no real title available?)
• scientific article; zbMATH DE number 3934720 (Why is no real title available?)
• scientific article; zbMATH DE number 638364 (Why is no real title available?)
• On the Computational Intractability of Analytic Tableau Methods
• scientific article; zbMATH DE number 1552522 (Why is no real title available?)
• The complexity of analytic tableaux
• Unrestricted vs restricted cut in a tableau method for Boolean circuits
• Tableau complexes

This page was built for publication: The complexity of analytic tableaux

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