![](/img/cover-not-exists.png)
Advancing Lazy-Grounding ASP Solving Techniques â Restarts, Phase Saving, Heuristics, and More
WEINZIERL, ANTONIUS, TAUPE, RICHARD, FRIEDRICH, GERHARDVolume:
20
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/S1471068420000332
Date:
September, 2020
File:
PDF, 350 KB
2020