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