Pascal Rapicault
AuthID: R-00H-88X
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
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