@inproceedings{DBLP:conf/codes/NeubauerHWS18,
  title = {On leveraging approximations for exact system-level design space exploration: work-in-progress},
  author = {Neubauer, Kai and Haubelt, Christian and Wanko, Philipp and Schaub, Torsten},
  booktitle = {{CODES+ISSS}},
  pages = {15:1--15:2},
  publisher = {{IEEE} / {ACM}},
  year = {2018}
}