《智能系统学报》
过刊查询页面
关键词中包括
satisfiability
的文章
1
命题逻辑的子句集中文字的分类
邓鹏
1,2
, 徐扬
1,2
2015年5期 [736-740][
摘要
](
4513
)
[
pdf
640KB]
(
2069
)
DOI:
10.11992/tis.201410005
2
扩展断言知识检验一致的需求建模方法
郭新峰
1
, 马世龙
2
, 吕江花
2
, 李睿
2
2015年1期 [81-89][
摘要
](
2795
)
[
pdf
606KB]
(
2381
)
DOI:
10.3969/j.issn.1673-4785.201409015
3
基于分支回溯的NAE-3SAT问题求解算法
谷文祥
1,2
,傅琳璐
1
,周俊萍
1
,姜蕴晖
1
2012年6期 [506-511][
摘要
](
3349
)
[
pdf
522KB]
(
2219
)
DOI:
4
最坏情况下Min-2SAT问题的上界
谷文祥
1,2
,姜蕴晖
1
,周俊萍
1
,殷明浩
1
2012年3期 [241-245][
摘要
](
3036
)
[
pdf
474KB]
(
2089
)
DOI:
5
可满足问题中的模型计数
谷文祥,朱磊,黄平,殷明浩 2012年1期 [33-39][
摘要
](
4693
)
[
pdf
689KB]
(
2981
)
DOI: