《表2 求解器测试结果:基于子句长度的分支策略》
采用SATLIBBenchmark中例子300个使用求解器glucose4.1和glucose4.1+BSBCL不同的求解器进行测试,测试结果如表2所示。
图表编号 | XD00146262100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.15 |
作者 | 杨晗、宋振明 |
绘制单位 | 西南交通大学数学学院、西南交通大学数学学院 |
更多格式 | 高清、无水印(增值服务) |
采用SATLIBBenchmark中例子300个使用求解器glucose4.1和glucose4.1+BSBCL不同的求解器进行测试,测试结果如表2所示。
图表编号 | XD00146262100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.15 |
作者 | 杨晗、宋振明 |
绘制单位 | 西南交通大学数学学院、西南交通大学数学学院 |
更多格式 | 高清、无水印(增值服务) |