Pages that link to "Item:Q1101259"
From MaRDI portal
The following pages link to Schubert's steamroller problem: Formulations and solutions (Q1101259):
Displayed 14 items.
- Un-Skolemizing clause sets (Q920968) (← links)
- Seventy-five problems for testing automatic theorem provers (Q1101242) (← links)
- A new reduction rule for the connection graph proof procedure (Q1114445) (← links)
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
- A semantic backward chaining proof system (Q1193483) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- SPASS & FLOTTER version 0.42 (Q4647508) (← links)
- The TPTP problem library (Q5210777) (← links)
- KoMeT (Q5210812) (← links)