EPTCS 29 - LoCoCo 2010

Inês Lynce, Ralf Treinen (Eds.): Proceedings First International Workshop on Logics for Component Configuration. EPTCS 29 2010

Claude Michel, Michel Rueher:
Handling software upgradeability problems with MILP solvers. 1-10
Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault:
Solving Linux Upgradeability Problems Using Boolean Optimization. 11-22
Paulo Trezentos:
Comparison of PBO solvers in a dependency solving domain. 23-31
Emmanuel Ohayon, Matthieu Lemerre, Vincent David:
CONFIGEN: A tool for managing configuration options. 32-43
Andreas Kübler, Christoph Zengler, Wolfgang Küchlin:
Model Counting in Product Configuration. 44-53

Last update Sat May 25 01:48:36 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page