EPTCS 29 - LoCoCo 2010
- Inês Lynce, Ralf Treinen:
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. EPTCS 29, 2010 - Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault:
Solving Linux Upgradeability Problems Using Boolean Optimization. 11-22 - Emmanuel Ohayon, Matthieu Lemerre, Vincent David:
CONFIGEN: A tool for managing configuration options. 32-43