计算机科学与探索2007，Vol.1Issue(1)：79-86,8.
一种规约于可满足性问题(SAT)的知识推理算法
SAT-based algorithm for knowledge reasoning
摘要
关键词
知识结构/知识推理/可满足性问题(SAT)分类
信息技术与安全科学引用本文复制引用
苏开乐,陈清亮,岳伟亚..一种规约于可满足性问题(SAT)的知识推理算法[J].计算机科学与探索,2007,1(1):79-86,8.基金项目
the National Grand Fundamental Research 973 Program of China under Grant No.2005CB321902(国家重点基础研究发展规划(973)) （国家重点基础研究发展规划(973）
the National Natural Science Foundation of China under Grant No.60496327,10410638,60473004(国家自然科学基金) （国家自然科学基金）
the Natural Science Foundation of Guangdong Province of China under Grant No.04205407(广东省自然科学基金) （广东省自然科学基金）
the Open Fund in Shanghi Intelligent Information Processing Key Laboratory under Grant(上海市智能信息处理重点实验室开放课题资助项目). （上海市智能信息处理重点实验室开放课题资助项目）
