Pages that link to "Item:Q1401929"
From MaRDI portal
The following pages link to Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929):
Displaying 6 items.
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae (Q4795877) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705951) (← links)
- Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria (Q5927983) (← links)
