@article{DBLP:journals/corr/abs-1905-05248, title = {Design Space Exploration via Answer Set Programming Modulo Theories}, author = {Wanko, Philipp}, journal = {CoRR}, volume = {abs/1905.05248}, year = {2019} }