《表3 GTMiniSAT求解器重启次数的测试》

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

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

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

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

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

为了更准确地决定重启的次数对GTM iniSAT求解器的影响，在上述200个算例中，多次尝试了重启1次，5次…直到重启65次，增减参数默认为0.1，CPU在求解器运行时间至5 000 s时停止．实验结果如表3所示．