Recently, the research team formed by Professor Yin Minghao and Associate Professor Wang Yiyuan from the School of Information Science and Technology of NENU, in cooperation with the team led by Cai Shaowei, a researcher from the Institute of Software of Chinese Academy of Sciences, won the championship of the weighted track of the complete algorithm group in the 19th International MaxSAT Competition held recently. In the 10th International Pseudo-Boolean Competition, the solver developed by the team won the first place in the ranking list of two tracks and the second place in the ranking list of one track among the three tracks judged by pseudo-Boolean.
(From News Center, translated by Kong Shanshan, revised by Qiu Yunlong)