@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}
}