An SMT-based Approach to Automated Configuration

Patrick Heymans 1, 2, 3, 4 Raphaël Michel 1, 5 Vijay Ganesh 6 Arnaud Hubaux 1
1 PReCISE - PReCISE Research Centre in Information Systems Engineering
2 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 Université de Lille, Sciences et Technologies
4 LIFL - Laboratoire d'Informatique Fondamentale de Lille
5 CETIC asbl - Centre d’Excellence en Technologies de l’Information et de la Communication
6 CSAIL - Computer Science and Artificial Intelligence Laboratory [Cambridge]
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

INRIA | LIFL | UNIV-LILLE3

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

381

Contact


archive-ouverte@inria.fr