The Organizing Committee of the SAT Competition (2017) announced the results of the 20th International SAT Competition on its official website on September 15 (the results of the competition were also released in the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017)). The competition organizers announced that the team from Professor Li Chu-Min from our School of Computer Science won the championship in the main track of the competition with a big advantage (the submitted four solvers got the first four places).

SAT problem, Satisfaction (SATisfiability) problem, is the first problem in the history that has been proven to be NP-complete. It is also the core-challenging problem in the field of artificial intelligence, and has very important significance and extensive applications in many industrial applications. For a long time, researchers have conducted extensive and in-depth research on it, and SAT competition has become a landmark academic event in this field. The SAT competition has been held every two years since 1992 and has been lasting for 20 years. The competition was intensively paid attention to by top researchers in both academia and industry. A total of 28 teams from 14 countries participated in the competition. The participating universities include New York University, University of Wisconsin, University of Waterloo in Canada, University of Linz in Belgium, University of Leuven, University of Technology in Sydney, and so on. There are also top Chinese universities and research institutes from Tsinghua University, Peking University, Chinese Academy of Sciences and other universities. This competition consists of six tracks: Main, Parallel, Incremental, Agile, Random, No-limits and so on. Among them, the Main track is focused on the solution to the challenging problems from various industrial applications. It is the most concerned and competitive track in the SAT competition.

The institute of theory in our school of computer science has a deep accumulation and in-depth research on various types of combinatorial optimization problems, such as SAT problem, and has a good reputation in this field. This is a new achievement obtained by our university following Professor Huang Wenqi who won the championship of the SAT competition in 1996. Our university’s team members include Professor Li Chu-Min, Professor Lu Zhipeng, Ph.D candidates Xiao Fan and Luo Mao and so on.

In addition, in the recent landmark conference in artificial intelligence, the 26th the International Joint Conference on Artificial Intelligence (IJCAI2017, August 19-25, Melbourne, Australia), the same team members reported the latest research outcomes on the SAT problem: An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers, (IJCAI2017, 703-711). Our school of computer science is the first affiliation with Ph.D candidate Luo Mao as the first author. The submitted solvers are based on this research work reported in IJCAI 2017.

Founded in 1973, the School of Computer Science affiliated to Huazhong University of Science and Technology is a key school included in the national "211 Project" and "985 Project" (“211Project ” and "985 Project" aiming to support leading Universities under Ministry of Education). The school always insists to create synergy between theoretical research and engineering development, integrate scientific research and talent cultivation. And a number of key laboratories and industry leaders have been built as our practice base. After more than 40 years of construction and development, they have become important base for technology innovation and entrepreneurship and from where come out a big number of professional personnel in computer field.

The school of Computer Science and Technology has had six research institutes, an engineering research center, 11 national or provincial sciences research bases and hatched two high-tech enterprises. The main research directions include Parallel and Distributed Computing, Database and Software Engineering, Digital Media and Intelligent Computing, Computing and Optimization Theory, Embedded System and Software, Network and Information Security, Storage Technologies and Systems. In the latest 5 years, the school has taken on over 500 research projects, including more than 280 projects sponsored by governments. And, the school has won 2 National Science and Technology Achievement Awards. There are xx issued patents and xx computer software copyrights. We have published xx papers in the international and domestic journals and conferences.

In the School of Computer Science and Technology, there are 155 full-time academic staff members, including 37 professors, 70 associate professors and 48 lecturers. Among all the academic staff members, there are 2 professors of Cheung Kong Scholar Program, 1 youth professor of Cheung Kong Scholar Program,2 winners of The National Science Fund for Distinguished Young Scholars, 1 Innovative member of Thousand Talents Program, 1 Entrepreneurs member of Thousand Talents Program, 1 Young Scholars member of Thousand Talents Program, 2 selected in Millions of Leading Engineering Talents, 2 winners of Research Fund for Distinguished Young Scientists, 2 Top Young Innovative Talents of the Organization Department of CPC Central Committee and 7 winners of Program for New Century Excellent Talents in University.