%0 Conference Paper %1 conf/lpnmr/AndresB0HS15 %A Andres, Benjamin %A Biewer, Alexander %A Romero, Javier %A Haubelt, Christian %A Schaub, Torsten %B LPNMR %D 2015 %E Calimeri, Francesco %E Ianni, Giovambattista %E Truszczynski, Miroslaw %I Springer %K %P 55-68 %T Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#AndresB0HS15 %V 9345 %@ 978-3-319-23263-8

@inproceedings{conf/lpnmr/AndresB0HS15, added-at = {2023-12-12T20:47:25.000+0100}, author = {Andres, Benjamin and Biewer, Alexander and Romero, Javier and Haubelt, Christian and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2835b7f50539de700c3be61f22fdc6136/admin}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2015}, editor = {Calimeri, Francesco and Ianni, Giovambattista and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/978-3-319-23264-5_6}, interhash = {345e5db0d8389134688f557ee102603d}, intrahash = {835b7f50539de700c3be61f22fdc6136}, isbn = {978-3-319-23263-8}, keywords = {}, pages = {55-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:47:25.000+0100}, title = {Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#AndresB0HS15}, volume = 9345, year = 2015 }