Unsatisfiability-based optimization in clasp. - Benjamin Andres; Benjamin Kaufmann; Oliver Matheis; Torsten Schaub (ICLP (Technical Communications), 2012)