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

    作者中包括 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: