1. School of Mathematics and Physics, University of Science and Technology Beijing, Beijing, People's Republic of China
2. School of Mathematical Sciences, Beihang University, Beijing, People's Republic of China
3. Chongqing Key Laboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, CAS, Chongqing, People's Republic of China