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

    关键词中包括 satisfiability 的文章

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