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

Abstract : no abstract
Complete list of metadatas

https://hal.inria.fr/hal-01187002
Contributor : René Quiniou <>
Submitted on : Tuesday, August 25, 2015 - 6:25:49 PM
Last modification on : Monday, February 11, 2019 - 4:22:53 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

238