加强约束的布尔可满足硬件求解器

• 作者: 周善祥 张建民 肖立权 马柯帆 黎铁军
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 现场可编程门阵列 布尔可满足性 加强约束 不完全算法
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 105-111
• 页数: 7页
• 分类号: TP391
• 字数: 6326字
• 语种: 中文
• DOI: 10.11887/j.cn.201806014

摘要

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题.相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能.评估结果表明,求解器最多能处理32000个变元/128000个子句的实例.相比当前同类型的求解器,其求解效率明显提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖立权	国防科技大学计算机学院	17	79	4.0	8.0
2	张建民	国防科技大学计算机学院	11	15	2.0	3.0
3	黎铁军	国防科技大学计算机学院	13	39	4.0	6.0
4	马柯帆	国防科技大学计算机学院	3	0	0.0	0.0
5	周善祥	国防科技大学计算机学院	1	0	0.0	0.0