The following pages link to SATCHMORE: SATCHMO with RElevancy (Q1891262):
Displaying 12 items.
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← 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)
- Efficient model generation through compilation. (Q1854374) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- MGTP: A model generation theorem prover — Its advanced features and applications — (Q4610311) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700) (← links)
- Constructing a normal form for Property Theory (Q5234704) (← links)
- Hyper tableaux (Q5235250) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
