1. College of Computer Science and Technology;
Jilin University 2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education;
Jilin University 3. Yantai Intelligent Information Technologies Ltd. 4. Department of Computer S;