首页> 中文会议>中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会 >基于SAT的软件包依赖问题的研究

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会》|2006年|221-226|共6页
会议地点青岛
作者
顾昊; 中国科学院研究生院; 倪惜珍;
展开▼
作者单位

中国科学院计算技术研究所;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序包（应用软件）;
关键词
软件包; 布尔可满足问题; 软件包管理; 基于SAT;
入库时间 2022-08-17 10:42:15

相似文献

中文文献
外文文献
专利

1. 学校财务软件定制开发问题的研究——基于某学院财务软件开发实践的思考 [J] . 许道平 . 科技经济市场 . 2021,第004期
2. 基于相似度的软件工程中软件成本估算问题研究 [J] . 王楠 ,余建坤 . 计算机系统应用 . 2018,第004期
3. 基于A软件企业案例的软件企业会计核算问题研究 [J] . 苏元兴 . 商业会计 . 2017,第021期
4. 基于公共物品视角下的软件产品反盗版问题研究——以美国微软公司软件产品为例 [J] . 苏术锋 ,苏先娜 . 江苏商论 . 2011,第004期
5. 基于CiteSpace软件快速掌握某一领域的研究脉络及热点问题——以游客行为研究文献为例 [J] . 杨丕仁 ,王建芹 . 大理学院学报 . 2019,第006期
6. PSA_SAT:求解SAT问题的退火算法并行研究 [C] . 王鹤 ,卢凯 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. 基于分支策略与距离比删除策略的SAT问题求解算法研究 [A] . 王萌 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号