Pages that link to "Item:Q3527695"
From MaRDI portal
The following pages link to Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers (Q3527695):
Displayed 5 items.
- On the relation among answer set solvers (Q1028643) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)