WASP: A Native ASP Solver Based on Constraint Learning.

Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

Browse the full LPNMR paper archive.