Skip to Main content Skip to Navigation
Conference papers

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]
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-00718335
Contributor : Patrick Heymans <>
Submitted on : Monday, July 16, 2012 - 4:31:15 PM
Last modification on : Thursday, September 10, 2020 - 10:44:15 AM

Identifiers

  • HAL Id : hal-00718335, version 1

Collections

CNRS | 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. ⟨hal-00718335⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

654

 

Contact                    Legal Notice                    Personal Data