@InProceedings{ALL+-10-1,
title = {Solving Linux Upgradeability Problems Using Boolean Optimization},
booktitle = {Workshop on Logics for Component Configuration(Lococo)},
pages = {11-22},
author = {Argelich, Josep and Le~Berre, Daniel and Lynce, Ines and Marques-Silva, Joao and Rapicault, Pascal},
OPT_auteurs_membres = {Le~Berre, Daniel},
year = {2010},
month = {jul},
}