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