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