scientific article
From MaRDI portal
Publication:3682461
zbMath0567.03001MaRDI QIDQ3682461
No author found.
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Collected or selected works; reprintings or translations of classics (01A75) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (13)
Width versus size in resolution proofs ⋮ Towards NP-P via proof complexity and search ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ The NP-hardness of finding a directed acyclic graph for regular resolution ⋮ Unrestricted resolution versus N-resolution ⋮ Banishing Ultrafilters from Our Consciousness ⋮ What Is Essential Unification? ⋮ DPLL: The Core of Modern Satisfiability Solvers ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ The Mechanical Verification of a DPLL-Based Satisfiability Solver ⋮ A mechanical solution of Schubert's steamroller by many-sorted resolution ⋮ A Logical Autobiography ⋮ Substitution and Propositional Proof Complexity
This page was built for publication:
