《表7 不同算法求解不同类型实例的个数》
为了说明算法DDIDT中参数min,max和threshold设置的有效性,本文分别使用求解器Glucose3.0和Glucose3.0_DDIDT求解3.2节中21种类型的实例.表7为求解各个实例的个数.
图表编号 | XD00102897600 严禁用于非法目的 |
---|---|
绘制时间 | 2019.10.01 |
作者 | 常文静、徐扬 |
绘制单位 | 西南交通大学信息科学与技术学院、系统可信性自动验证国家地方联合工程实验室、西南交通大学数学学院、系统可信性自动验证国家地方联合工程实验室 |
更多格式 | 高清、无水印(增值服务) |