Publications in Scientific Journals:
A. Weinzierl, R. Taupe, G. Friedrich:
"Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More";
TPLP - Theory and Practice of Logic Programming,
20
(2020),
5;
609
- 624.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068420000332
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_293475.pdf
Related Projects:
Project Head Thomas Eiter:
DynaCon
Created from the Publication Database of the Vienna University of Technology.