@inproceedings{DBLP:conf/lpnmr/AndresB0HS15,
  author = {Andres, Benjamin and Biewer, Alexander and Romero, Javier and Haubelt, Christian and Schaub, Torsten},
  title = {Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics},
  booktitle = {{LPNMR}},
  series = {Lecture Notes in Computer Science},
  volume = {9345},
  pages = {55--68},
  publisher = {Springer},
  year = {2015}
}