《智能系统学报》 过刊查询页面

    关键词中包括 DPLL 的文章

1 基于分支回溯的NAE-3SAT问题求解算法
谷文祥1,2,傅琳璐1,周俊萍1,姜蕴晖1 2012年6期 [506-511][摘要](3333)[pdf 522KB](2208)
DOI: