An SMT-based approach to automated configuration.

Raphal Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans

Browse the full CADE paper archive.