[Zurück]


Zeitschriftenartikel:

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; S. 609 - 624.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068420000332

Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_293475.pdf



Zugeordnete Projekte:
Projektleitung Thomas Eiter:
DynaCon


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.