PackUp: Tools for Package Upgradability Solving, System Description
You are here
| Title | PackUp: Tools for Package Upgradability Solving, System Description |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Janota M, Lynce I, Manquinho V., Marques-Silva J |
| Journal | Journal on Satisfiability, Boolean Modeling and Computation |
| Volume | 8 |
| Date Published | 2012 |
| URL | http://ulir.ul.ie/handle/10344/2756 |
