An SMT-based Approach to Automated Configuration - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

An SMT-based Approach to Automated Configuration

Domains

Software Engineering [cs.SE]

Patrick Heymans  : Connect in order to contact the contributor

https://inria.hal.science/hal-00718335

Submitted on : Monday, July 16, 2012-4:31:15 PM

Last modification on : Friday, May 17, 2024-4:32:06 PM

No file

Dates and versions

hal-00718335 , version 1 (16-07-2012)

Identifiers

  • HAL Id : hal-00718335 , version 1

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA LIFL INRIA2
440 View
0 Download

Share

Gmail Facebook X LinkedIn More