A. Weinzierl, R. Taupe, G. Friedrich: "Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More"; Talk: ICLP 2020, Rende, Italien; 2020-09-18 - 2020-09-24.
Project Head Thomas Eiter: DynaCon