吉林大学学报（信息科学版）2010，Vol.28Issue(2)：136-140,5.
一次性求解多个SAT问题
Solution to Set of SAT Problems
摘要
关键词
自动推理/DPLL算法/可满足性分类
信息技术与安全科学引用本文复制引用
郑黎辉,左万利..一次性求解多个SAT问题[J].吉林大学学报（信息科学版）,2010,28(2):136-140,5.基金项目
国家自然科学基金资助项目(60373099) （60373099）
吉林省科技发展计划基金资助项目(20070533) （20070533）
国家教育部高等学校博士学科点专项科研基金资助项目(200801830021) （200801830021）
吉林大学基本科研业务费交叉学科与创新基金资助项目(200810025) （200810025）
