[Zurück]


Zeitschriftenartikel:
A. Weinzierl, R. Taupe, G. Friedrich:
"Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More";
ArXiv, 2008 (2020), 03526; 16 S.

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

Zugeordnete Projekte:
Projektleitung Thomas Eiter:
DynaCon

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.