PackUp: tools for package upgradability solving

MaRDI QIDQ2786910zbMATH OpenFDO

Authors Mikoláš Janota, Inês Lynce, Vasco Manquinho, Joao Marques-Silva

Publication date 23 February 2016

Published in Journal of Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

zbMATH Keywords

Boolean optimizationMaxSATpackage upgradability problem

Mathematics Subject Classification ID

Theory of operating systems (68N25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A Model Driven Approach to Upgrade Package-Based Software Systems
• scientific article; zbMATH DE number 1629839
• On the complexity of package recommendation problems
• scientific article; zbMATH DE number 3921971

Cited in

(6)

• PackUp
• Reactive synthesis with maximum realizability of linear temporal logic specifications
• A Model Driven Approach to Upgrade Package-Based Software Systems
• Exploiting resolution-based representations for MaxSAT solving
• New core-guided and hitting set algorithms for multi-objective combinatorial optimization
• Unsatisfiability-based algorithms for multi-objective combinatorial optimization

This page was built for publication: PackUp: tools for package upgradability solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2786910)