BibTeX record journals/corr/abs-1007-1021

• > Home > journals/corr/abs-1007-1021

@inproceedings{DBLP:journals/corr/abs-1007-1021,
  author       = {Josep Argelich and
                  Daniel Le Berre and
                  In{\^{e}}s Lynce and
                  Jo{\~{a}}o Marques{-}Silva and
                  Pascal Rapicault},
  editor       = {In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {Solving Linux Upgradeability Problems Using Boolean Optimization},
  booktitle    = {Proceedings First International Workshop on Logics for Component Configuration,
                  LoCoCo 2010, Edinburgh, UK, 10th July 2010},
  series       = {{EPTCS}},
  volume       = {29},
  pages        = {11--22},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.29.2},
  doi          = {10.4204/EPTCS.29.2},
  timestamp    = {Mon, 03 Apr 2023 14:43:50 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1007-1021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}