|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|基于近期文字极性分配的学习子句评估算法

基于近期文字极性分配的学习子句评估算法

冯心妍 吴贯锋 张丁荣 王恪铭

计算机工程与科学2023，Vol.45Issue(11)：1941-1948,8.
✕
计算机工程与科学2023，Vol.45Issue(11)：1941-1948,8.DOI:10.3969/j.issn.1007-130X.2023.11.005

基于近期文字极性分配的学习子句评估算法

A learnt clause evaluation algorithm based on recent literal polarity assignment

冯心妍 1吴贯锋 2张丁荣 1王恪铭3

作者信息

  • 1. 西南交通大学信息科学与技术学院,四川 成都 611756||西南交通大学系统可信性自动验证国家地方联合工程实验室,四川 成都 611756
  • 2. 西南交通大学系统可信性自动验证国家地方联合工程实验室,四川 成都 611756||西南交通大学数学学院,四川 成都 611756
  • 3. 西南交通大学系统可信性自动验证国家地方联合工程实验室,四川 成都 611756||西南交通大学计算机与人工智能学院,四川 成都 611756
  • 折叠

摘要

关键词

SAT问题/子句评估策略/CDCL/学习子句

Key words

SAT problem/clause evaluation strategy/conflict driven clause learning(CDCL)/learnt clause

分类

信息技术与安全科学

引用本文复制引用

冯心妍,吴贯锋,张丁荣,王恪铭..基于近期文字极性分配的学习子句评估算法[J].计算机工程与科学,2023,45(11):1941-1948,8.

基金项目

国家自然科学基金(62106206) （62106206）

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

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