Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
From MaRDI portal
Publication:3527695
DOI10.1016/j.jalgor.2008.02.006zbMath1162.68668OpenAlexW2167808293MaRDI QIDQ3527695
Francesco Ricca, Nicola Leone, Wolfgang Faber, Marco Maratea
Publication date: 29 September 2008
Published in: Journal of Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgor.2008.02.006
Related Items
Anytime Computation of Cautious Consequences in Answer Set Programming, The Seventh Answer Set Programming Competition: Design and Results, Efficiently Coupling the I-DLV Grounder with ASP Solvers, Answer Set Programming: A Primer, On the relation among answer set solvers
Uses Software