LoCoCo 2010 Accepted Papers

CONFIGEN: A tool for management of configuration options
Model Counting in Product Configuration
Solving Linux Upgradeability Problems Using Boolean Optimization
Handling software upgradeability problems with MILP solvers
Comparison of PBO solvers in a dependency solving domain