Institution: | [1]Department of Systems Engineering and Mathematics, National University of Defense Technology, Changsha 410073, China [2]College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China [3]Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences, Beijing 100090, China |