An SMT-based Approach to Automated Configuration - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

An SMT-based Approach to Automated Configuration

(1, 2, 3, 4) , (1, 5) , (6) , (1)
1
2
3
4
5
6

Domains

Computer Science [cs] Software Engineering [cs.SE]

Patrick Heymans  : Connect in order to contact the contributor

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

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

Last modification on : Friday, November 18, 2022-9:23:39 AM

Not 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 TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-LILLE3 CNRS INRIA LIFL INRIA2
436 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More