Janota, Mikolas; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
(IOS Press, 2012)
This paper presents PackUp1. (PACKage UPgradability with Boolean formulations) a
framework for solving the the software package upgradability problem. Earlier versions of
the framework (cudf2msu, cudf2pbo) participated ...