@article{DBLP:journals/ki/HaubeltNSW18, author = {Haubelt, Christian and Neubauer, Kai and Schaub, Torsten and Wanko, Philipp}, title = {Design Space Exploration with Answer Set Programming}, journal = {{KI}}, volume = {32}, number = {2-3}, pages = {205--206}, year = {2018} }