Pages that link to "Item:Q5514129"
From MaRDI portal
The following pages link to A Machine-Oriented Logic Based on the Resolution Principle (Q5514129):
Displaying 5 items.
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Unit read-once refutations for systems of difference constraints (Q6174656) (← links)
- (Q6488530) (← links)
- Farkas Bounds on Horn Constraint Systems (Q6489318) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)