《表1 算法求解时间 (s) 对比》
提示：宽带有限、当前游客访问压缩模式
本文对算法的测试用例来源于国际标准测试电路ISCAS-85，并且直接对电路的CNF进行求解，测试用例包括电路c17，c432，c499，c880，c1355，c1908.运行时间限制为3600s，超过此时间记为TO.算法时间如表1所示.
| 图表编号 | XD0017145000 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2018.07.01 |
| 作者 | 欧阳丹彤、刘伯文、刘梦、张立明、张永刚 |
| 绘制单位 | 吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室 |
| 更多格式 | 高清、无水印（增值服务） |
