Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}