@inproceedings{heymans:hal-00718335, TITLE = {{An SMT-based Approach to Automated Configuration}}, AUTHOR = {Heymans, Patrick and Michel, Rapha{\"e}l and Ganesh, Vijay and Hubaux, Arnaud}, URL = {https://inria.hal.science/hal-00718335}, BOOKTITLE = {{10th International Workshop on Satisfiability Modulo Theories (SMT)}}, ADDRESS = {Manchester, United Kingdom}, PAGES = {107-117}, YEAR = {2012}, MONTH = Jun, HAL_ID = {hal-00718335}, HAL_VERSION = {v1}, }