Pages that link to "Item:Q1369080"
From MaRDI portal
The following pages link to A disjunctive positive refinement of model elimination and its application to subsumption deletion (Q1369080):
Displaying 7 items.
- On subsumption in distributed derivations (Q1337562) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Model elimination and connection tableau procedures (Q2751380) (← links)
- R-SATCHMO: Refinements on I-SATCHMO (Q4820462) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)