Conference Papers
Year : 2012
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
Dates and versions
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⟩
Collections
436
View
0
Download