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