关键词中包括 satisfiability 的文章

1 命题逻辑的子句集中文字的分类 邓鹏1,2, 徐扬1,2 2015年5期 [736－740][摘要](4501)[pdf 640KB](2055) DOI:10.11992/tis.201410005

2 扩展断言知识检验一致的需求建模方法 郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年1期 [81－89][摘要](2780)[pdf 606KB](2360) DOI:10.3969/j.issn.1673-4785.201409015

3 基于分支回溯的NAE-3SAT问题求解算法 谷文祥1,2，傅琳璐1，周俊萍1，姜蕴晖1 2012年6期 [506－511][摘要](3327)[pdf 522KB](2205) DOI:

4 最坏情况下Min-2SAT问题的上界 谷文祥1,2，姜蕴晖1，周俊萍1，殷明浩1 2012年3期 [241－245][摘要](3029)[pdf 474KB](2076) DOI:

5 可满足问题中的模型计数 谷文祥，朱磊，黄平，殷明浩 2012年1期 [33－39][摘要](4673)[pdf 689KB](2967) DOI: