Schubert's steamroller problem: Formulations and solutions
From MaRDI portal
Publication:1101259
DOI10.1007/BF00246025zbMath0642.68164MaRDI QIDQ1101259
Publication date: 1986
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
SATCHMORE: SATCHMO with RElevancy ⋮ Seventy-five problems for testing automatic theorem provers ⋮ KoMeT ⋮ A new reduction rule for the connection graph proof procedure ⋮ Contradiction separation based dynamic multi-clause synergized automated deduction ⋮ Eliminating redundant search space on backtracking for forward chaining theorem proving ⋮ Encoding Monomorphic and Polymorphic Types ⋮ Un-Skolemizing clause sets ⋮ \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE ⋮ The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning ⋮ A semantic backward chaining proof system ⋮ SPASS & FLOTTER version 0.42 ⋮ The TPTP problem library ⋮ A posthumous contribution by Larry Wos: excerpts from an unpublished column
This page was built for publication: Schubert's steamroller problem: Formulations and solutions
