University of Limerick Institutional Repository

PackUp: tools for package upgradability solving, system description

DSpace Repository

Show simple item record

dc.contributor.author Janota, Mikolas
dc.contributor.author Lynce, Inês
dc.contributor.author Manquinho, Vasco
dc.contributor.author Marques-Silva, Joao
dc.date.accessioned 2012-12-19T12:39:47Z
dc.date.available 2012-12-19T12:39:47Z
dc.date.issued 2012
dc.identifier.uri http://hdl.handle.net/10344/2756
dc.description peer-reviewed en_US
dc.description.abstract 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 in the 3rd MISC-live, an international competition organized by the European project MANCOOSI. The framework encodes the problem as a weighted partial MaxSAT formula and invokes a dedicated solver to solve the formula. The framework supports two types of solvers: weighted partial MaxSAT solvers and optimization pseudo-Boolean (OPB) solvers. The paper discusses the design of the framework and the speci cs of the problem encoding. en_US
dc.language.iso eng en_US
dc.publisher IOS Press en_US
dc.relation info:eu-repo/grantAgreement/EC/FP7/214898 en_US
dc.relation.ispartofseries Journal on Satisfiability, Boolean Modeling and Computation;8, pp. 89-94
dc.relation.uri http://jsat.ewi.tudelft.nl/
dc.rights © 2012 Delft University of Technology and the authors en_US
dc.subject package upgradability problem en_US
dc.subject MaxSAT en_US
dc.subject boolean optimization en_US
dc.title PackUp: tools for package upgradability solving, system description en_US
dc.type info:eu-repo/semantics/article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.contributor.sponsor ERC en_US
dc.contributor.sponsor FCT en_US
dc.relation.projectid BEACON 09/IN1/I2618 en_US
dc.relation.projectid MANCOOSI (214898) en_US
dc.relation.projectid ATTEST (CMU-PT/ELE/0009/2009) en_US
dc.relation.projectid BSOLO (PTDC/EIA/76572/2006) en_US
dc.relation.projectid iEXplain (PTDC/EIA-CCO/102077/2008) en_US
dc.relation.projectid INESC-ID multinational fund PIDDAC program en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics