Optimizing Answer Set Computation via Heuristic-Based Decomposition

Open in new window