Upgradeability problems are a critical issue in modern operating systems.
Claude Michel, Michel Rueher 2010, 'Handling software upgradeability problems with MILP solvers', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1007.1020v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)