YIN Ming-Hao
College of Computer Science, Northeast Normal University, Changchun 130117, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun 130012, ChinaZHOU Jun-Ping
College of Computer Science, Northeast Normal University, Changchun 130117, China;College of Computer Science and Technology, Jilin University, Changchun 130012, ChinaSUN Ji-Gui
College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun 130012, ChinaGU Wen-Xiang
College of Computer Science, Northeast Normal University, Changchun 130117, China殷明浩,周俊萍,孙吉贵,谷文祥.求解QBF 问题的启发式调查传播算法.软件学报,2011,22(7):1538-1550
Copy