依赖求解域中PBO求解器的比较
Comparison of PBO solvers in a dependency solving domain
摘要：
Linux包管理器必须处理用户需要安装的包的依赖关系和冲突。作为一个NP完全问题，这是一个很难解决的问题。在这方面，采取了若干办法。Apt-pbo是一个基于apt项目的包管理器，它将依赖解决问题编码为伪布尔优化（PBO）问题。本文比较了不同的PBO求解器和他们的有效性解决依赖求解问题。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
