《智能系统学报》
过刊查询页面
作者中包括
JIANG Yunhui
的文章
1
基于分支回溯的NAE-3SAT问题求解算法
谷文祥
1,2
，傅琳璐
1
，周俊萍
1
，姜蕴晖
1
2012年6期 [506－511][
摘要
](
3327
)
[
pdf
522KB]
(
2205
)
DOI:
2
最坏情况下Min-2SAT问题的上界
谷文祥
1,2
，姜蕴晖
1
，周俊萍
1
，殷明浩
1
2012年3期 [241－245][
摘要
](
3029
)
[
pdf
474KB]
(
2076
)
DOI: