Pages that link to "Item:Q1127346"
From MaRDI portal
The following pages link to Reasoning with minimal models: efficient algorithms and applications (Q1127346):
Displayed 6 items.
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)
- On the complexity of identifying head-elementary-set-free programs (Q3400962) (← links)