Pages that link to "Item:Q1404976"
From MaRDI portal
The following pages link to A calculus combining resolution and enumeration for building finite models (Q1404976):
Displaying 3 items.
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
