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