A. Weinzierl, R. Taupe, G. Friedrich:
"Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More";
ArXiv, 2008 (2020), 03526; 16 pages.
https://publik.tuwien.ac.at/files/publik_293481.pdf
Project Head Thomas Eiter:
DynaCon