Solving Hard ASP Programs Efficiently.

Wolfgang Faber, Francesco Ricca

Browse the full LPNMR paper archive.