|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|基于任务分配与调度的GSAT算法求解3-SAT问题

基于任务分配与调度的GSAT算法求解3-SAT问题

付慧敏 徐扬 何星星 宁欣然

计算机工程与科学2018，Vol.40Issue(8)：1366-1374,9.
✕
计算机工程与科学2018，Vol.40Issue(8)：1366-1374,9.DOI:10.3969/j.issn.1007-130X.2018.08.005

基于任务分配与调度的GSAT算法求解3-SAT问题

GSAT algorithm based on task allocation and scheduling for solving the 3-SAT problem

付慧敏 1徐扬 2何星星 2宁欣然2

作者信息

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

摘要

关键词

GSAT算法/贪心搜索/任务分配与调度/3-SAT问题/分配策略/调度策略

分类

信息技术与安全科学

引用本文复制引用

付慧敏,徐扬,何星星,宁欣然..基于任务分配与调度的GSAT算法求解3-SAT问题[J].计算机工程与科学,2018,40(8):1366-1374,9.

基金项目

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

中央高校基本科研业务费项目(2682017ZT12,2682018ZT10,2682018CX59,2682018ZT25) （2682017ZT12,2682018ZT10,2682018CX59,2682018ZT25）

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

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