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

    作者中包括 ZHOU Junping 的文章

1 基于分支回溯的NAE-3SAT问题求解算法
谷文祥1,2,傅琳璐1,周俊萍1,姜蕴晖1 2012年06期 [506-511][摘要](2129)[pdf 522KB](1101)
DOI:
2 最坏情况下Min-2SAT问题的上界
谷文祥1,2,姜蕴晖1,周俊萍1,殷明浩1 2012年03期 [241-245][摘要](2040)[pdf 474KB](1025)
DOI: