@misc{indiciae894ed11e2731,
  title = {Handling software upgradeability problems with MILP solvers},
  author = {Claude Michel and Michel Rueher},
  year = {2010},
  doi = {10.4204/eptcs.29.1},
  url = {https://arxiv.org/abs/1007.1020},
  note = {Source identifier: 1007.1020}
}