Max-ASP: Maximum Satisfiability of Answer Set Programs.

Emilia Oikarinen, Matti Jrvisalo

Browse the full LPNMR paper archive.