DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization
Luyu Jiang, Dantong Ouyang, Qi Zhang, and Liming Zhang

TL;DR
DeciLS-PBO enhances local search for Pseudo-Boolean Optimization by generalizing unit propagation and introducing clause-based heuristics, leading to improved performance on benchmark and real-world problems.
Contribution
The paper introduces a novel local search algorithm for PBO that incorporates generalized unit propagation and clause-based heuristics, advancing state-of-the-art solutions.
Findings
DeciLS-PBO outperforms existing algorithms on benchmark problems.
The generalized unit propagation improves initial assignment quality.
Clause-based heuristics effectively guide the search process.
Abstract
Local search is an effective method for solving large-scale combinatorial optimization problems, and it has made remarkable progress in recent years through several subtle mechanisms. In this paper, we found two ways to improve the local search algorithms in solving Pseudo-Boolean Optimization (PBO): Firstly, some of those mechanisms such as unit propagation are merely used in solving MaxSAT before, which can be generalized to solve PBO as well; Secondly, the existing local search algorithms utilize the heuristic on variables, so-called score, to mainly guide the search. We attempt to gain more insights into the clause, as it plays the role of a middleman who builds a bridge between variables and the given formula. Hence, we first extended the combination of unit propagation-based decimation algorithm to PBO problem, giving a further generalized definition of unit clause for PBO…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Metaheuristic Optimization Algorithms Research
