基于频次的SAT问题学习子句混合评估算法

著录项

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

  吴贯锋; 徐扬; 陈青山; 何星星; 常文静;

  展开▼
• 作者单位

  西南交通大学信息科学与技术学院 四川成都610031;

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

  西南交通大学数学学院 四川成都610031;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;信息处理（信息加工）;
• 关键词

  SAT问题; 并行求解器; LBD; GLUCOSE;