《表2 随机3-SAT实例上的实验结果》
提示：宽带有限、当前游客访问压缩模式
为了更全面地展示本文提出的并行知识编译算法的特性，本文还随机生成了变量数固定，子句数改变的标准3-SAT子句集，表2给出了〈20，m〉、〈25，m〉和〈30，m〉三种不同3-SAT子句集实例的样例进行测试，测试结果为50次实验的平均值.
| 图表编号 | XD0017139300 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2018.03.01 |
| 作者 | 牛当当、刘磊、吕帅 |
| 绘制单位 | 吉林大学计算机科学与技术学院、吉林大学计算机科学与技术学院、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学) |
| 更多格式 | 高清、无水印（增值服务） |
