|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与应用|基于演绎长度的学习子句删除策略

基于演绎长度的学习子句删除策略

常文静 徐扬 吴贯锋

计算机工程与应用2018，Vol.54Issue(16)：30-36,7.
✕
计算机工程与应用2018，Vol.54Issue(16)：30-36,7.DOI:10.3778/j.issn.1002-8331.1805-0439

基于演绎长度的学习子句删除策略

Learned clauses reduction strategy based on length of deduction

常文静 1徐扬 2吴贯锋3

作者信息

  • 1. 西南交通大学 信息科学与技术学院,成都 610036
  • 2. 系统可信性自动验证国家地方联合工程实验室,成都 610036
  • 3. 西南交通大学 数学学院,成都 610036
  • 折叠

摘要

关键词

可满足性问题/冲突驱动子句学习/学习子句删除/演绎长度

分类

信息技术与安全科学

引用本文复制引用

常文静,徐扬,吴贯锋..基于演绎长度的学习子句删除策略[J].计算机工程与应用,2018,54(16):30-36,7.

基金项目

国家自然科学基金(No.61673320) （No.61673320）

中央高校基本科研业务费专项资金(No.2682018ZT10). （No.2682018ZT10）

计算机工程与应用

OA北大核心CSCDCSTPCD

1002-8331

访问量3
|
下载量0
段落导航相关论文