基于最大可满足性问题的专业实验方案设计

• 作者: 余艳 刘燕丽 张婷
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 实验教学 算法设计 数据结构 NP问题
• 年，卷（期）: 2015,（2）
• 页码范围: 37-39
• 页数: 3页
• 分类号: TP302
• 字数: 4009字
• 语种: 中文
• DOI: 10.11907/rjdk.143639

摘要

基于最大可满足性问题的专业实验方案以组合拍卖为应用背景，采用命题逻辑建模、分支限界算法，针对问题设计优化的存储结构。专业实验方案展现了一个完整的工业问题的解决过程，内容涉及程序设计语言、数据结构、离散数学、算法设计等计算机核心课程相关内容，有助于加强学生专业知识的系统化。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余艳	武汉科技大学理学院	14	56	4.0	7.0
2	刘燕丽	武汉科技大学理学院	16	74	5.0	8.0
3	张婷	武汉科技大学理学院	10	25	3.0	4.0