@inproceedings{DBLP:conf/aspdac/NeubauerHWS18, title = {Utilizing quad-trees for efficient design space exploration with partial assignment evaluation}, author = {Neubauer, Kai and Haubelt, Christian and Wanko, Philipp and Schaub, Torsten}, booktitle = {{ASP-DAC}}, pages = {434--439}, publisher = {{IEEE}}, year = {2018} }