Pages that link to "Item:Q2426106"
From MaRDI portal
The following pages link to Enhancing DLV instantiator by backjumping techniques (Q2426106):
Displaying 6 items.
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
