《表2 uf50随机实例的实验结果》
(s)
2)将实例的规模扩大,选取变量数为50、子句数为218,变量数为75、子句数为325,变量数为100、子句数为430的随机实例进行对比实验,实验结果见表2、表3.
图表编号 | XD00136463800 严禁用于非法目的 |
---|---|
绘制时间 | 2020.02.01 |
作者 | 贺甫霖、刘磊、吕帅、牛当当、王强 |
绘制单位 | 吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学)、吉林大学计算机科学与技术学院、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学)、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学)、西北农林科技大学信息工程学院、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学) |
更多格式 | 高清、无水印(增值服务) |