The First Version of a New ASP Solver : ASPeRiX.

Claire Lefvre, Pascal Nicolas

Browse the full LPNMR paper archive.