@inproceedings{DBLP:conf/date/NeubauerWSH18, title = {Exact multi-objective design space exploration using ASPmT}, author = {Neubauer, Kai and Wanko, Philipp and Schaub, Torsten and Haubelt, Christian}, booktitle = {{DATE}}, pages = {257--260}, publisher = {{IEEE}}, year = {2018} }