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