《表4 GTMiniSAT求解器增减参数的测试》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于重启策略的学习子句优化方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

在固定了重启参数为55次之后，接下来需要对增减参数进行测试．在上述算例中，尝试增减0.01，0.02…直至0.1.CPU在求解器运行时间至5 000 s时停止．实验结果如表4所示．