H-GRASP:一种基于GRASP改进的混合SAT解法器

• 作者: 于宗光 唐玉兰 张惠国 陈建慧
• 来源期刊: 计算机应用研究
• 关键词: 布尔可满足性 势约束 整数线性规划 伪布尔
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 864-867
• 页数: 4页
• 分类号: TN405.97
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.03.015

摘要

为了改善GRASP的局限性,提出了一种能解决含有伪布尔(PB)和合取范式(CNF)混合约束问题的新的混合算法(H-GRASP).该新算法采用了切削平面技术来提取PB约束条件之间的推论,并把它结合到普通的蕴涵图中,分析引起冲突的学习.与解决混合约束问题的其他两种方法--整数线性规划和纯基于SAT方法进行了彻底的比较.实验结果证明,H-GRASP方法从整体上大大减少了运行时间,加快了速度,同时还保证了加入这种方法的低耗费.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张惠国	江南大学信息工程学院	8	28	4.0	5.0
2	唐玉兰	江南大学信息工程学院	9	27	3.0	5.0
3	于宗光	江南大学信息工程学院	89	354	9.0	14.0
7	陈建慧	江南大学信息工程学院	16	52	4.0	7.0