关于并行SAT求解器和并行自动演绎推理系统的研究

著录项

• 作者

  吴贯锋;

  展开▼
• 作者单位

  西南交通大学;

  展开▼
• 授予单位 西南交通大学;
• 学科 计算机科学与技术
• 授予学位 博士
• 导师姓名 徐扬;
• 年度 2019
• 页码
• 总页数
• 原文格式 PDF
• 正文语种 中文
• 中图分类 无线电电子学、电信技术;
• 关键词

  SAT; 求解器; 自动; 演绎;

• 入库时间 2022-08-17 11:21:31