@inproceedings{DBLP:conf/date/NeubauerWSH17, author = {Neubauer, Kai and Wanko, Philipp and Schaub, Torsten and Haubelt, Christian}, title = {Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation}, booktitle = {{DATE}}, pages = {306--309}, publisher = {{IEEE}}, year = {2017} }