Skip to Main content Skip to Navigation
Conference papers

Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics

Abstract : no abstract
Complete list of metadata

https://hal.inria.fr/hal-01187002
Contributor : René Quiniou Connect in order to contact the contributor
Submitted on : Tuesday, August 25, 2015 - 6:25:49 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:48 PM

Identifiers

  • HAL Id : hal-01187002, version 1

Citation

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub. Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Sep 2015, Lexington, KY, United States. pp.55-68. ⟨hal-01187002⟩

Share

Metrics

Record views

275