Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Browse the full LPNMR paper archive.