Pages that link to "Item:Q3008404"
From MaRDI portal
The following pages link to Abstract answer set solvers with backjumping and learning (Q3008404):
Displaying 11 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
- Transition systems for model generators—A unifying approach (Q3087449) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Constraint CNF: SAT and CSP Language Under One Roof. (Q5240215) (← links)