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