Experimenting with Look-Back Heuristics for Hard ASP Programs