Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT

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 and a diversification strategy to improve local sea...

Full description

Bibliographic Details
Main Authors: Zaijun Zhang, Jincheng Zhou, Xiaoxia Wang, Heng Yang, Yi Fan
Format: Article
Language:English
Published: MDPI AG 2022-12-01
Series:Entropy
Subjects:
maximum satisfiability
structural entropy
local search
heuristic search
Online Access:https://www.mdpi.com/1099-4300/24/12/1846

Internet

https://www.mdpi.com/1099-4300/24/12/1846

Similar Items