@misc{NeubauerWankoSchaubetal.2018,
  author    = {Kai Neubauer and Philipp Wanko and Torsten H. Schaub and Christian Haubelt},
  title     = {Exact multi-objective design space exploration using ASPmT},
  booktitle = {Proceedings of the 2018 Design, Automation \& Test in Europe Conference \& Exhibition (DATE)},
  isbn      = {978-3-9819-2630-9},
  issn      = {1530-1591},
  doi       = {10.23919/DATE.2018.8342014},
  institution = {Hasso-Plattner-Institut f{\"u}r Digital Engineering GmbH},
  type      = {other},
  pages     = {257 -- 260},
  year        = {2018},
}