Pages that link to "Item:Q5425405"
From MaRDI portal
The following pages link to Head-Elementary-Set-Free Logic Programs (Q5425405):
Displayed 4 items.
- On the tractability of minimal model computation for some CNF theories (Q490649) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- On the complexity of identifying head-elementary-set-free programs (Q3400962) (← links)