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