Pascal Rapicault
AuthID: R-00H-88X
1
TITLE: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
INDEXED IN: DBLP arXiv