基于SAT的软件包依赖问题的研究

摘要：

随着开源软件的迅速发展,软件包之间复杂依赖关系的分析与维护日益成为当前开源软件包管理系统得以正常运行的重要基础.本文对软件包依赖问题进行了分析与归纳,给出该问题的形式化描述,并提出了一套将软件包依赖问题转变为布尔可满足(SAT)问题的基本映射规则,最后结合MiniSAT给出了基本的求解算法.

关键词： 软件包 布尔可满足问题 软件包管理 基于SAT

作者: 顾昊 倪惜珍

作者单位: 中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100039 中国科学院软件研究所,北京,100080

会议类型: 国内会议

会议名称: 中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会

会议地点: 青岛

会议语种:中文

页码: 221-226

在线出版日期: 2006-07-31（万方平台首次上网日期，不代表论文的发表时间）