TY  - RPRT
TI  - Solving Linux Upgradeability Problems Using Boolean Optimization
AU  - Josep Argelich
AU  - Daniel Le Berre
AU  - Inês Lynce
AU  - Joao Marques-Silva
AU  - Pascal Rapicault
PY  - 2010
DO  - 10.4204/eptcs.29.2
UR  - https://arxiv.org/abs/1007.1021
ID  - 1007.1021
ER  -