Skip to Main content Skip to Navigation
Conference papers

An SMT-based Approach to Automated Configuration

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

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⟩

Share

Metrics

Record views

654