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
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⟩
436 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More