王鹤
- 作品数：2 被引量：0H指数：0
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：霍英东基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- PSA_SAT:求解SAT问题的退火算法并行研究
- 可满足性(SAT)问题是命题逻辑中一个经典问题,也是计算机科学理论与应用的一个核心问题,广泛应用于软件验证,数字系统测试与验证等领域.工业应用实例问题求解变量规模己达到百万数量级,传统的基于CPU的串行和并行SAT求解方...
- 王鹤卢凯
- 关键词：模拟退火
- 可满足性求解器算法基于GPU的加速研究
- 2011年
- 可满足性求解(SAT)问题被广泛应用于软件验证、理论证明、微处理器验证、模块验证等领域,工业应用实例问题求解变量规模已达到百万数量级,传统的基于CPU的串行和并行SAT求解方法已无法满足如此规模的问题求解。不同于以往的并行SAT研究,利用GPU并行处理的特点和SAT算法的特点,将SAT算法中最耗时的BCP(Boolean Constraint Propagation)过程并行化,设计实现了基于GPU的BCP过程GP_BCP(GPU Paralleled BCP),从而将BCP过程的性能提高了5.4～10.3倍。
- 王鹤卢凯
- 关键词：SATGPU
