Pages that link to "Item:Q4649734"
From MaRDI portal
The following pages link to On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734):
Displaying 9 items.
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
