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

作　　者：Luyu JIANG Dantong OUYANG Qi ZHANG Liming ZHANG 

机构地区：[1]College of Computer Science and Technology,Jilin University,Changchun 130012,China [2]Key Laboratory of Symbolic Computation and Knowledge Engineering(Ministry of Education),Jilin University,Changchun 130012,China

出　　处：《Frontiers of Computer Science》2024年第2期239-241,共3页中国计算机科学前沿（英文版）

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

摘　　要：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.

关 键 词：MAX OPTIMIZATION local 

分 类 号：O157.5[理学—数学] TP18[理学—基础数学]