@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}
}