"Optimizing Answer Set Computation via Heuristic-Based Decomposition."

Francesco Calimeri, Simona Perri, Jessica Zangari (2018)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2019-01-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics