Institute for Artificial Intelligence and Optimization (IAIP) is the first team engaged in researching algorithms for NP-hard problems in China. Since its establishment more than 40 years ago, it has been focusing on the research of efficient solving algorithms for NP-hard problems and their industrial applications. It has also focused on the analysis of basic theoretical algorithms and applications of artificial intelligence. It mainly carried out research in the following aspects: NP-hard problem-solving algorithms, EDA algorithm (electronic design automation), computational intelligence, swarm intelligence, industrial optimization, deep learning, data mining and machine learning, social network mining, natural language processing, and IoT technology and application. The Institute has 3 professors, 6 associate professors, and 5 lecturers. The Institute has maintained long-term cooperation with Fred Glover, a member of the US National Academy of Engineering and winner of the Von Neumann Theory Prize, and John Hopcroft, a member of the US National Academy of Sciences, the Academy of Engineering and the Academy of Arts and Sciences and winner of the Turing Award, and has established the John Hopcroft Laboratory.

The institute has made a series of internationally influential achievements. In 1979, it was the first one in the world to put forward a quasi-object method for solving NP-hard problems, pointing out a feasible way to solve NP-hard problems. In 1987, the Tseitin problem, which had puzzled the international academic circle for more than 20 years, was solved perfectly. In 1996, it won the championship (first place in the world) in the third International Invitational Competition of "Fast Algorithm for SAT Problems". In 2017, it won the championship of "International Algorithm Competition for SAT Problems" (first place in the world). In 2021, it participated in the ICCAD "CAD Contestin routing with cell movement advanced" of EDA, known as the "mother of chips", for the first time and won first place in the world. In 2020 and 2021, it won the championship of "Competition on theOptimal CameraPlacement Problem" (first place in the world) in GECCO, an international conference on Evolutionary computing for two consecutive years. In 2022, it won two gold medals (the first place in the world) in the DIMACS "International Algorithm Challenge for Path Optimization" of the Discrete Mathematics and Computer Research Center of the United States. The Institute has published more than 400 academic papers in renowned international journals and conferences in the field of artificial intelligence and intelligent optimization, such as the top conferences and journals in the field of artificial intelligence AAAI, IJCAI, NIPS, CVPR, ICCV, ACL, TKDD, TKDE, IJOC, and Artificial Intelligence.

The institute has undertaken several national scientific research projects, including the National "973" Key Basic Research Program, the National "863" High-tech development program, and the Ph.D. Programs Foundation of Ministry of Education of China, Program for New Century Excellent Talents in University of Ministry of Education of China, and National Natural Science Foundation of China. At the same time, the Institute focuses on the combination of artificial intelligence and intelligent optimization algorithm theory with practical industrial applications, and actively carries out cooperation with large companies in industrial applications in EDA, complex system modeling, industrial optimization, data mining and analysis, natural language processing, computer vision, and other fields. The research results have been widely applied in EDA, advanced manufacturing, cloud computing, communication, aviation, aerospace, logistics, security, finance, and other fields, providing practical intelligent solutions for our partners.

Certificate for the winner of the routing with cell movement advanced(first place in the world) in the ICCAD 2021 CAD Contest

In 2020, the certificate for first place award in the "Security AI Challenger Program" organized by Alibaba and Tsinghua University

Certificate and medal for the champion (first place in the world) in the SAT Competition 2017

Certificate for the champion (first place in the world) in the competition on the optimal camera placement problem at GECCO in 2020 and 2021

Certificate for the champion (first place in the world) in the competition on Dynamic Stacking Optimization in Uncertain Environmentsat GECCO in 2022

Certificate for the third place in 2021 ACM International Symposium on Physical Design

Click on the video to know more about us