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.
Michel, Raphaël ; Hubaux, Arnaud ; Ganesh, Vijay ; Heymans, Patrick. / An SMT-based Approach to Automated Configuration. 11 p.
@conference{2e38213abb19462cba66181e1317b4e3,
title = "An SMT-based Approach to Automated Configuration",
author = "Rapha{\"e}l Michel and Arnaud Hubaux and Vijay Ganesh and Patrick Heymans",
year = "2012",
month = "1",
day = "1",
language = "English",
pages = "107--117",

}

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

An SMT-based Approach to Automated Configuration. / Michel, Raphaël; Hubaux, Arnaud; Ganesh, Vijay; Heymans, Patrick.

2012. 107-117.

Research output: Contribution to conferencePaper

TY - CONF

T1 - An SMT-based Approach to Automated Configuration

AU - Michel, Raphaël

AU - Hubaux, Arnaud

AU - Ganesh, Vijay

AU - Heymans, Patrick

PY - 2012/1/1

Y1 - 2012/1/1

M3 - Paper

SP - 107

EP - 117

ER -