Solving Linux Upgradeability Problems Using Boolean Optimization - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Solving Linux Upgradeability Problems Using Boolean Optimization

Fichier non déposé

Dates et versions

hal-00870877 , version 1 (08-10-2013)

Identifiants

  • HAL Id : hal-00870877 , version 1

Citer

Josep Argelich, Daniel Le Berre, Inês Lynce, Joao Marques-Silva, Pascal Rapicault. Solving Linux Upgradeability Problems Using Boolean Optimization. Workshop on Logics for Component Configuration ((LoCoCo'10), 2010, Edinbourgh, United Kingdom. pp.11-22. ⟨hal-00870877⟩
46 Consultations
0 Téléchargements

Partager

More