@inproceedings{DBLP:conf/iclp/AndresKMS12, title = {Unsatisfiability-based optimization in clasp}, author = {Andres, Benjamin and Kaufmann, Benjamin and Matheis, Oliver and Schaub, Torsten}, booktitle = {{ICLP} (Technical Communications)}, pages = {211--221}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume = {17}, year = {2012} }