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
No file

Dates and versions

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


  • HAL Id : hal-00718335 , version 1


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


Gmail Mastodon Facebook X LinkedIn More