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

著录项

• 来源
  《计算机工程与科学》 |2018年第8期|1366-1374|共9页
• 作者

  付慧敏; 徐扬; 何星星; 宁欣然;

  展开▼
• 作者单位

  西南交通大学信息科学与技术学院;

  四川成都610031;

  西南交通大学系统可信性自动验证国家地方联合工程实验室;

  四川成都610031;

  西南交通大学系统可信性自动验证国家地方联合工程实验室;

  四川成都610031;

  西南交通大学系统可信性自动验证国家地方联合工程实验室;

  四川成都610031;

  西南交通大学信息科学与技术学院;

  四川成都610031;

  西南交通大学系统可信性自动验证国家地方联合工程实验室;

  四川成都610031;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算复杂性理论;算法理论;
• 关键词

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