scientific article; zbMATH DE number 1342249

zbMath0946.68128MaRDI QIDQ4263835

Samuel R. Buss

Publication date: 17 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional logicproof systemspropositional proof

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (11)

The NP Search Problems of Frege and Extended Frege Proofs ⋮ Short Proofs of the Kneser-Lovász Coloring Principle ⋮ Short proofs of the Kneser-Lovász coloring principle ⋮ Propositional Proofs in Frege and Extended Frege Systems (Abstract) ⋮ Proof theory for reasoning with Euler diagrams: a logic translation and normalization ⋮ Analyzing read-once cutting plane proofs in Horn systems ⋮ Towards NP-P via proof complexity and search ⋮ NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability ⋮ The Complexity of Finding Read-Once NAE-Resolution Refutations ⋮ Quasipolynomial size proofs of the propositional pigeonhole principle ⋮ Substitution and Propositional Proof Complexity

This page was built for publication: