1
TÍTULO: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTORES: Josep Argelich; Daniel Le Berre; Inês Lynce; João Marques Marques Silva ; Pascal Rapicault;
PUBLICAÇÃO: 2010, FONTE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
INDEXADO EM: DBLP arXiv