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