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

Abstract : no abstract
Type de document :
Communication dans un congrès
Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Sep 2015, Lexington, KY, United States. Springer, 9345, pp.55-68, 2015, lnai
Liste complète des métadonnées

https://hal.inria.fr/hal-01187002
Contributeur : René Quiniou <>
Soumis le : mardi 25 août 2015 - 18:25:49
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • 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. Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Sep 2015, Lexington, KY, United States. Springer, 9345, pp.55-68, 2015, lnai. 〈hal-01187002〉

Partager

Métriques

Consultations de la notice

205