Unsatisfiability-based optimization in clasp.

Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub

Browse the full ICLP paper archive.