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