1. Beijing University of Posts and Telecommunications, China
2. Key Lab of Mathematics Mechanization, AMSS, University of Chinese Academy of Sciences, China
3. Data Communication Science and Technology Research Institute, China
4. KLMM, Chinese Academy of Sciences, China