《智能系统学报》
过刊查询页面
关键词中包括
number of variables
的文章
1
基于分支回溯的NAE-3SAT问题求解算法
谷文祥
1,2
，傅琳璐
1
，周俊萍
1
，姜蕴晖
1
2012年6期 [506－511][
摘要
](
3327
)
[
pdf
522KB]
(
2205
)
DOI: