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