The following pages link to (Q4362927):
Displaying 3 items.
- Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
