Pages that link to "Item:Q1028643"
From MaRDI portal
The following pages link to On the relation among answer set solvers (Q1028643):
Displaying 15 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Tableau Calculi for Logic Programs under Answer Set Semantics (Q2946700) (← links)
- Transition systems for model generators—A unifying approach (Q3087449) (← links)
- The Significance of Memory Costs in Answer Set Solver Implementation (Q3395262) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424888) (← links)
