An SMT-based Approach to Automated Configuration

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

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

langue originaleAnglais
Pages107-117
Nombre de pages11
Etat de la publicationPublié - 1 janv. 2012

Contient cette citation

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