出处
《模式识别与人工智能》
EI
CSCD
北大核心
1993年第2期89-98,共10页
Pattern Recognition and Artificial Intelligence
-
1张德富,李光辉.求解可满足性问题的两个启发式策略(英文)[J].常德师范学院学报（自然科学版）,2001,13(3):84-87. 被引量：1
-
2李未,黄雄.命题逻辑可满足性问题的算法分析[J].计算机科学,1999,26(3):1-9. 被引量：12
-
3聂茜,殷志祥.可满足性问题的基于芯片的DNA计算模型[J].阜阳师范学院学报（自然科学版）,2016,33(3):53-55. 被引量：2
-
4陈玉华,殷志祥.基于分子信标的可满足性问题的粘贴模型[J].安徽理工大学学报（自然科学版）,2016,36(2):20-24. 被引量：5
-
5蒋映.一元涵词Horn子句的矩阵描述[J].云南师范大学学报（自然科学版）,1998,18(2):29-31.
-
6姚尧.可满足性问题的异或约束提取方法研究[J].电脑知识与技术,2010(12):9737-9738.
-
7杨青,马军.遗传算法用于NP完全问题的求解[J].山东大学学报（理学版）,2001,36(2):171-177. 被引量：8
;
