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