1. University of Electronic Science and Technology of China,School of Computer Science and Engineering
2. Chongqing Key Laboratory of Automated Reasoning and Cognition
3. Nanyang Technological University,School of Computer Science and Engineering
4. University of Hong Kong,Department of Electrical and Electronic Engineering
5. City University of Hong Kong,Department of Computer Science