@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} }