Institutional Repository
| 基于SAT的软件包依赖问题的研究 | |
| 顾昊; 倪惜珍 | |
| 2006 | |
| Conference Name | 中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会 |
| Source | 第九届计算机科学与技术研究生学术讨论会论文集 |
| Pages | 221-226 |
| Conference Date | 2006 |
| Conference Place | 青岛 |
| Department | 中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,北京,100080 |
| English Abstract | 随着开源软件的迅速发展,软件包之间复杂依赖关系的分析与维护日益成为当前开源软件包管理系统得以正常运行的重要基础.本文对软件包依赖问题进行了分析与归纳,给出该问题的形式化描述,并提出了一套将软件包依赖问题转变为布尔可满足(SAT)问题的基本映射规则,最后结合MiniSAT给出了基本的求解算法. |
| Keyword | 软件包 布尔可满足问题 软件包管理 基于sat |
| Sponsorship | 中国科学院计算技术研究所 |
| Language | 中文 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11944 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 顾昊,倪惜珍. 基于SAT的软件包依赖问题的研究[C],2006:221-226. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于SAT的软件包依赖问题的研究.pdf（341KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment