✦ LIBER ✦

The Relative Efficiency of Propositional Proof Systems

✍ Scribed by Stephen A. Cook and Robert A. Reckhow

Book ID: 120989591
Publisher: Association for Symbolic Logic
Year: 1979
Tongue: English
Weight: 367 KB
Volume: 44
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2273702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relative efficiency of propositional pro

Relative efficiency of propositional proof systems: resolution vs. cut-free LK

✍ Noriko H. Arai 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 106 KB

Resolution and cut-free LK are the most popular propositional systems used for logical automated reasoning. The question whether or not resolution and cut-free LK have the same e ciency on the system of CNF formulas has been asked and studied since 1960 (Reckhow, Ph.D. Thesis, University of Toronto,

The Deduction Theorem for Strong Proposi

The Deduction Theorem for Strong Propositional Proof Systems

✍ Olaf Beyersdorff 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 404 KB

Propositional Proof Systems and Fast Con

Propositional Proof Systems and Fast Consistency Provers

✍ Joosten, Joost J. 📂 Article 📅 2007 🏛 University of Notre Dame 🌐 English ⚖ 253 KB

The limits of tractability in Resolution

The limits of tractability in Resolution-based propositional proof systems

✍ Stefan Dantchev; Barnaby Martin 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 299 KB

On the automatizability of resolution an

On the automatizability of resolution and related propositional proof systems

✍ Albert Atserias; Marı́a Luisa Bonet 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Combinatorics of first order structures

Combinatorics of first order structures and propositional proof systems

✍ Jan Krajíček 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 180 KB