TY - RPRT TI - Handling software upgradeability problems with MILP solvers AU - Claude Michel AU - Michel Rueher PY - 2010 DO - 10.4204/eptcs.29.1 UR - https://arxiv.org/abs/1007.1020 ID - 1007.1020 ER -