Pages that link to "Item:Q5881264"
From MaRDI portal
The following pages link to A maximal-literal unit strategy for horn clauses (Q5881264):
Displaying 6 items.
- An algorithm to compute maximal contractions for Horn clauses (Q543196) (← links)
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- The semantics of answer literals (Q1357665) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target (Q2760517) (← links)
- On fairness of completion-based theorem proving strategies (Q5055773) (← links)