An SMT-based Approach to Automated Configuration

Type de document :
Communication dans un congrès
10th International Workshop on Satisfiability Modulo Theories (SMT), Jun 2012, Manchester, United Kingdom. pp.107-117, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00718335
Contributeur : Patrick Heymans <>
Soumis le : lundi 16 juillet 2012 - 16:31:15
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : hal-00718335, version 1

Collections

Citation

Patrick Heymans, Raphaël Michel, Vijay Ganesh, Arnaud Hubaux. An SMT-based Approach to Automated Configuration. 10th International Workshop on Satisfiability Modulo Theories (SMT), Jun 2012, Manchester, United Kingdom. pp.107-117, 2012. 〈hal-00718335〉

Partager

Métriques

Consultations de la notice

310