Huazhong University won international championship!

August

School of Computer, Huazhong University of Science and Technology

The solution device developed by Professor He Yan and doctoral student Zheng Jizhi

SAT Competition 2022 Algorithm Competition

Won the Main Track champion!

The participating team members also include Chen Zhuo, a master student of Professor He Yan, Zhou Jianrong, doctoral student, and the team's long -term collaborators, a visiting professor at Huazhong University of Science and Technology, and Professor Li Chumin, the University of Asian University in France.

From left to right: Chen Zhuo, Zheng Jizhi, He Yan, Zhou Jianrong

The SAT Competition 2022 competition is organized by the 25th International Conference of Setomic Test theory and Application. The series of events has been held for 15 sessions. The goal of the competition is to promote the development of Boer's solution to SAT.

The SAT problem is a classic problem in the field of computer science. It is also the first problem that has been proved to be NP. It not only has important theoretical research value, but also has a wide range of applications in the industrial field, especially software and hardware verification. This time SAT Competition has a total of from Carnegie Mellon University, Eindhoven University of Technology, Shanghai Jiaotong University, Dresden University of Technology, Sagazi University, John Kaelle University, Russian ITMO University, Huawei, etc. More than 50 solutions from well -known universities and research institutes participate in the competition. Professor He Yan's team proposed an innovative method that combines the random walking strategy and the decision tree model so that the solution device uses different random walking strategies to assist in the face of different characteristics. The robustness of the device finally achieved the first place in Main Track.

At the same time, Professor He Yan's team won three runners -up and one third place in the four tracks of the Maxsat Evaluation 2022 algorithm competition organized by the SAT 2022 International Conference. The MAXSAT solving device participating in the decision tree model combines local search algorithms such as Bandmaxsat and Farsight Probility Sampling (FPS) proposed by the team. Among them, Bandmaxsat has been published on IJCAI 2022 of the International Artificial Intelligence Club.

Professor He Kun is a senior member of ACM, senior member of IEEE, and outstanding CCF members. He is a member of the program committee (senior) of more than ten top -level associations including Neurips, ICML, and ICLR. Her team has long been engaged in combination optimization, deep learning security and explanatoryness, and research on social network mining, and authoritative conference journals such as Neurips, ICLR, CVPR, ICCV, ECCV, ACLP, EMNLP, AAAI, and IJCAI published a hundred The essays. She has repeatedly instructed her undergraduate students to win the ACM-ICPC regional gold award, American college student mathematical modeling competition F, and published NIPS, ICDM and other top-level papers. She participated in the cooperative papers Combining Clause Learning and Branch-AD-BOUND for Maxsat to get CP 2021 Best Paper Award. Her master's degree has won the best results of the Learning Competition in the 2020 IMAGNET image classification fighting attack competition, IJCAI2019 artificial intelligence anti -algorithm competition defense track third place.

Friends who won the international championship

Do you have any experience to share?

Take a look

Zheng Jizhi: SAT and Maxsat have always attracted me deeply. This time, we brought some experiences of Bandmaxsat and Farsight Probability Sampling (FPS) recently doing some experience in the two Maxsat search algorithms of Maxsat participated in this year's SAT and Maxsat competitions. Under the guidance of Teacher He's guidance, I innovatively proposed the method of choosing a local search strategy with a decision tree model assistant solution device. Finally, the SAT competition main track champion, the Maxsat competition non -complete group four tracks of the four tracks of the four tracks of the MAXSAT competition. A good achievement of the runner -up and a third place.

When I saw the organizing committee announced the results of the game, I was very happy. This was an encouragement and affirmation for me to inspire me to continue to study and explore. At present, our methods and strategies are almost around the local search module in the solution device. In the future, I will continue to learn other modules in SAT and MAXSAT solving device to strive to make more comprehensive breakthroughs.

Chen Zhuo: In this SAT competition, Teacher He and two seniors gave me a lot of guidance and help. Because my undergraduate graduation design content is a combination of SAT issues, there are some new ideas and inspirations in the process of playing. According to the research problem set by my undergraduate, we can obtain an example of the SAT problem through some conversion methods. In this game, I only contributed a little bit of power, but this process increased my interest in SAT and learned many new ideas. In the future, I will continue to explore with the pace of mentors and seniors.

Zhou Jianrong: I am very happy to participate in the SAT/MAXSAT competition with the laboratory team.The SAT and Maxsat problem is a very classic NPC/NP-Hard problem in the combination optimization field. The solution to these two problems is very difficult and very challenging.I was fortunate to think, understand and design related algorithms with Teacher He Yan, Zheng Ji and Chen Zhuo, so that I had a further understanding of the SAT problem and related combination optimization issues.The participating teams are very competitive teams from various well -known universities in the world, and they are very difficult to win in the competition.I have won a lot of participation in this competition. At the same time, I am also very grateful to the instructor for their guidance and their efforts for their hard work.Congratulations

Huster

Please continue!

Source: official WeChat public account of Huazhong University of Science and Technology

Edit: Gao Xiang, Li Yan

- END -