- Article
Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT
- Zaijun Zhang,
- Jincheng Zhou,
- Xiaoxia Wang,
- Heng Yang and
- Yi Fan
The (weighted) partial maximum satisfiability ((W)PMS) problem is an important generalization of the classic problem of propositional (Boolean) satisfiability with a wide range of real-world applications. In this paper, we propose an initialization a...