@misc{NeubauerWankoSchaubetal.2017,
  author    = {Kai Neubauer and Philipp Wanko and Torsten H. Schaub and Christian Haubelt},
  title     = {Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation},
  booktitle = {Proceedings of the Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 2017},
  isbn      = {978-3-9815370-9-3},
  issn      = {1530-1591},
  doi       = {10.23919/DATE.2017.7927005},
  institution = {Sozialwissenschaften},
  type      = {other},
  pages     = {306 -- 309},
  year        = {2017},
}