Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco Calimeri, Davide Fusc, Simona Perri, Jessica Zangari

Browse the full PADL paper archive.