Partial Compilation of ASP Programs - Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter (arXiv.org, 2019)
Keywords: Algorithms; Combinatorial analysis; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; Declarative programming; Logic programming; Mathematical programming