TY  - RPRT
TI  - Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More
AU  - Antonius Weinzierl
AU  - Richard Taupe
AU  - Gerhard Friedrich
PY  - 2020
UR  - https://arxiv.org/abs/2008.03526
ID  - 2008.03526
ER  -