《表3 基于Maple LCMDist Chrono BT求解器的改进策略结果对比》

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

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

《基于参与冲突分析次数的动态学习子句评估策略》

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

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

上述实验将基于LBD和活跃值的动态评估策略分别嵌入两个先进求解器中，对于100个测试例通过参数调整实验确定对应的最优参数求解器（本文中的参数设置具有一定的实验性，之后可针对参数取值继续研究），得到两个优化后的求解器:G+lbd+keep0.3和M+act+keep0.01，再用M+act+keep0.01求解器求解2018和2017年的国际竞赛基准例，其求解数量和速度均比2018年冠军求解器Maple LCMDist Chrono BT更优。