依赖求解领域中PBO求解器的比较
软件工程
2010-07-08 v1 计算机科学中的逻辑
摘要
Linux包管理器必须处理用户需要安装的软件包之间的依赖关系和冲突。作为一个NP完全问题，这是一项难以解决的任务。在此背景下，已有多种方法被采用。Apt-pbo是一个基于apt项目的包管理器，它将依赖求解问题编码为伪布尔优化（PBO）问题。本文比较了不同的PBO求解器及其在解决依赖求解问题上的有效性。
引用
@article{arxiv.1007.1022,
title = {Comparison of PBO solvers in a dependency solving domain},
author = {Paulo Trezentos},
journal= {arXiv preprint arXiv:1007.1022},
year = {2010}
}
备注
In Proceedings LoCoCo 2010, arXiv:1007.0831