A Lower-Bound for Answer Set Solver Computation