The following pages link to (Q4415137):
Displaying 6 items.
- Recognizing unnecessary clauses in resolution based systems (Q688549) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- (Q3750139) (← links)
- Inference with path resolution and semantic graphs (Q3773844) (← links)
- (Q4409888) (← links)