《表5 2017年SAT竞赛随机组300算例》

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

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

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

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

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

GTM ini SAT求解器主要针对规模较大的工业问题有效，简单问题的优化效果并不明显．所以，选择了2017年SAT竞赛中Random组的300个算例，CPU在求解器运行时间至5 000 s时停止．实验结果见表5.