@inproceedings{DBLP:conf/iclp/Wanko16, title = {Scalable Design Space Exploration via Answer Set Programming}, author = {Wanko, Philipp}, booktitle = {{ICLP} (Technical Communications)}, pages = {23:1--23:11}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {{OASICS}}, volume = {52}, year = {2016} }