DeciLS-PBO: an effective local search method for pseudo-Boolean optimization

作     者：Luyu JIANG Dantong OUYANG Qi ZHANG Liming ZHANG Luyu JIANG;Dantong OUYANG;Qi ZHANG;Liming ZHANG

作者机构：College of Computer Science and TechnologyJilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering(Ministry of Education)Jilin UniversityChangchun 130012China 

出 版 物：《Frontiers of Computer Science》 (中国计算机科学前沿（英文版）)

年 卷 期：2024年第18卷第2期

页      面：239-241页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported by the National Natural Science Foundation of China (Grant Nos.62076108,and 61872159) the education department of Jilin Province (JJKH20211106KJ,JKH20211103KJ) 

主　　题：Max optimization local 

摘      要：1 Introduction Local search method is a rising star for solving combinatorial optimization problems in recent years,and the state-of-the-art local search-based incomplete Maximum Satisfiability(MaxSAT)solversshowpromisingperformance even competitive to many complete solvers in recent MaxSAT Evaluations.