| 注册
首页|期刊导航|西南交通大学学报|基于OpenMP的并行遗传算法求解SAT问题

基于OpenMP的并行遗传算法求解SAT问题

吴贯锋 徐扬 常文静 陈树伟 徐鹏

西南交通大学学报2019,Vol.54Issue(2):428-435,8.
西南交通大学学报2019,Vol.54Issue(2):428-435,8.DOI:10.3969/j.issn.0258-2724.20170700

基于OpenMP的并行遗传算法求解SAT问题

Parallel Genetic Algorithm for SAT Problems Based on OpenMP

吴贯锋 1徐扬 2常文静 2陈树伟 3徐鹏1

作者信息

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

摘要

关键词

SAT问题/OpenMP/并行混合遗传算法/粗粒度模型

分类

信息技术与安全科学

引用本文复制引用

吴贯锋,徐扬,常文静,陈树伟,徐鹏..基于OpenMP的并行遗传算法求解SAT问题[J].西南交通大学学报,2019,54(2):428-435,8.

基金项目

国家自然科学基金资助项目(61673320) (61673320)

中央高校基本科研业务费专项资金资助项目(2682017ZT12) (2682017ZT12)

感谢中国无线电协会对项目的资助(T/RAC015-2016). (T/RAC015-2016)

西南交通大学学报

OA北大核心CSCDCSTPCD

0258-2724

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