%0 Conference Paper %1 conf/iclp/AndresKMS12 %A Andres, Benjamin %A Kaufmann, Benjamin %A Matheis, Oliver %A Schaub, Torsten %B ICLP (Technical Communications) %D 2012 %E Dovier, Agostino %E Costa, Vítor Santos %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K dblp %P 211-221 %T Unsatisfiability-based optimization in clasp. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#AndresKMS12 %V 17 %@ 978-3-939897-43-9

@inproceedings{conf/iclp/AndresKMS12, added-at = {2018-08-23T00:00:00.000+0200}, author = {Andres, Benjamin and Kaufmann, Benjamin and Matheis, Oliver and Schaub, Torsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e104efd725c56d15b16247273dc634fb/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2012}, editor = {Dovier, Agostino and Costa, Vítor Santos}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2012.211}, interhash = {fa126f52dff88f03e40cbd424f6d2ddb}, intrahash = {e104efd725c56d15b16247273dc634fb}, isbn = {978-3-939897-43-9}, keywords = {dblp}, pages = {211-221}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2019-09-27T19:15:02.000+0200}, title = {Unsatisfiability-based optimization in clasp.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#AndresKMS12}, volume = 17, year = 2012 }