Solving Linux Upgradeability Problems Using Boolean Optimization

Josep Argelich, Daniel Le Berre, Inês Lynce +2

Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures. Upgrades are required on a short time basis and s…