On Resolution with Clauses of Bounded Size
From MaRDI portal
Publication:4144819
DOI10.1137/0206031zbMath0368.68085OpenAlexW2067642391MaRDI QIDQ4144819
Publication date: 1977
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0206031
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Narrow Proofs May Be Maximally Long ⋮ Seventy-five problems for testing automatic theorem provers ⋮ A bound on the length of a random derivation-search tree in general multi-premise calculi ⋮ Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas ⋮ Unnamed Item ⋮ Typical case complexity of satisfiability algorithms and the threshold phenomenon
This page was built for publication: On Resolution with Clauses of Bounded Size
