Comparison of PBO solvers in a dependency solving domain

Details Comparison of PBO solvers in a dependency solving domain Comparison of PBO solvers in a dependency solving domain

2010-07-07

arxiv.org/abs/1007.1022v1

EPTCS 29, 2010, pp. 23-31

Computer Science

Software Engineering

In Proceedings LoCoCo 2010, arXiv:1007.0831

Scientific paper

10.4204/EPTCS.29.3

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.

Affiliated with

Also associated with

No associations

Rating

Comparison of PBO solvers in a dependency solving domain does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Comparison of PBO solvers in a dependency solving domain, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Comparison of PBO solvers in a dependency solving domain will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-344766