Experimenting with Look-Back Heuristics for Hard ASP Programs.

Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca

Browse the full LPNMR paper archive.