@Inproceedings{EPTCS29.2, author = {Argelich, Josep and Le Berre, Daniel and Lynce, In\^es and Marques-Silva, Joao and Rapicault, Pascal}, year = {2010}, title = {Solving Linux Upgradeability Problems Using Boolean Optimization}, editor = {Lynce, In\^es and Treinen, Ralf}, booktitle = {{\rm Proceedings First International Workshop on} Logics for Component Configuration, {\rm Edinburgh, UK, 10th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {29}, publisher = {Open Publishing Association}, pages = {11-22}, doi = {10.4204/EPTCS.29.2}, }