Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
René Quiniou : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01187002
Soumis le : mardi 25 août 2015-18:25:49
Dernière modification le : mercredi 19 avril 2023-04:21:33
Dates et versions
Identifiants
- HAL Id : hal-01187002 , version 1
Citer
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⟩
Collections
116
Consultations
0
Téléchargements