The following pages link to Resolution graphs (Q2543000):
Displaying 6 items.
- Using rewriting rules for connection graphs to prove theorems (Q1137877) (← links)
- Refutation graphs (Q1226867) (← links)
- Paramodulated connection graphs (Q1257912) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- A note on linear resolution strategies in consequence-finding (Q2557565) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
