布尔可满足性问题研究综述

• 作者: 郭莹
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: SAT问题 NP完全问题 编码 预处理 求解算法
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 综述
• 页码范围: 204-206
• 页数: 3页
• 分类号: TP301
• 字数: 2593字
• 语种: 中文
• DOI: 10.11907/rjdk.162699

摘要

布尔可满足性(简称SAT)问题是研究最广泛的NP-完全(简称NPC)问题之一.编码、预处理和求解算法是SAT问题求解的3个关键技术,近年来涌现了大量成果.SAT问题广泛应用在生产和生活中, SAT求解技术的健壮性和综合性能迫切需要进一步提升.从SAT问题分类、SAT问题应用领域、研究现状及面临的挑战等方面对相关研究成果进行梳理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭莹	宁夏理工学院电气信息工程学院	18	59	4.0	7.0