《智能系统学报》 过刊查询页面

    关键词中包括 satisfiability 的文章

1 命题逻辑的子句集中文字的分类
邓鹏1,2, 徐扬1,2 2015年5期 [736-740][摘要](4117)[pdf 640KB](1514)
2 扩展断言知识检验一致的需求建模方法
郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年1期 [81-89][摘要](2372)[pdf 606KB](1907)
3 基于分支回溯的NAE-3SAT问题求解算法
谷文祥1,2,傅琳璐1,周俊萍1,姜蕴晖1 2012年6期 [506-511][摘要](2924)[pdf 522KB](1800)
DOI:
4 最坏情况下Min-2SAT问题的上界
谷文祥1,2,姜蕴晖1,周俊萍1,殷明浩1 2012年3期 [241-245][摘要](2723)[pdf 474KB](1680)
DOI:
5 可满足问题中的模型计数
谷文祥,朱磊,黄平,殷明浩 2012年1期 [33-39][摘要](4219)[pdf 689KB](2526)
DOI: