Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver.

Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin

Browse the full COMMA paper archive.