1. Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More. Issue 5 (September 2020) Authors: WEINZIERL, ANTONIUS; TAUPE, RICHARD; FRIEDRICH, GERHARD Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 609 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗