Optimizing Answer Set Computation via Heuristic-Based Decomposition