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