An SMT-based Approach to Automated Configuration

Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans

Research output: Contribution to conferencePaper

Original languageEnglish
Pages107-117
Number of pages11
Publication statusPublished - 1 Jan 2012

Cite this

Michel, R., Hubaux, A., Ganesh, V., & Heymans, P. (2012). An SMT-based Approach to Automated Configuration. 107-117.