%0 Conference Paper %1 conf/date/NeubauerWSH17 %A Neubauer, Kai %A Wanko, Philipp %A Schaub, Torsten %A Haubelt, Christian %B DATE %D 2017 %E Atienza, David %E Natale, Giorgio Di %I IEEE %K %P 306-309 %T Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. %U http://dblp.uni-trier.de/db/conf/date/date2017.html#NeubauerWSH17 %@ 978-3-9815370-8-6

@inproceedings{conf/date/NeubauerWSH17, added-at = {2023-12-13T05:14:46.000+0100}, author = {Neubauer, Kai and Wanko, Philipp and Schaub, Torsten and Haubelt, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2848ed5278f7b6b1d937d11b1a7806970/admin}, booktitle = {DATE}, crossref = {conf/date/2017}, editor = {Atienza, David and Natale, Giorgio Di}, ee = {http://dl.acm.org/citation.cfm?id=3130450}, interhash = {a03b520430f5fcd00bc4ec7ed9df4c4a}, intrahash = {848ed5278f7b6b1d937d11b1a7806970}, isbn = {978-3-9815370-8-6}, keywords = {}, pages = {306-309}, publisher = {IEEE}, timestamp = {2023-12-13T05:14:46.000+0100}, title = {Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.}, url = {http://dblp.uni-trier.de/db/conf/date/date2017.html#NeubauerWSH17}, year = 2017 }