Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: ANTONIUS WEINZIERL, RICHARD TAUPE, GERHARD FRIEDRICH

Journal title: Theory and Practice of Logic Programming

Journal number: 20/5

Journal publisher: Cambridge University Press

Published year: 2020

Published pages: 609-624

DOI identifier: 10.1017/s1471068420000332

ISSN:1471-0684