论文研究-H-GRASP：一种基于GRASP改进的混合SAT解法器.pdf

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