@inproceedings{Argelich2010SolvingLU,
  title={Solving Linux Upgradeability Problems Using Boolean Optimization},
  author={Josep Argelich and Daniel Le Berre and In{\^e}s Lynce and Joao Marques-Silva and Pascal Rapicault},
  booktitle={LoCoCo},
  year={2010},
  url={https://api.semanticscholar.org/CorpusID:17262167}
}