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...

Descripción completa

Detalles Bibliográficos
Autores principales: Zhang, Zaijun, Zhou, Jincheng, Wang, Xiaoxia, Yang, Heng, Fan, Yi
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9777583/
https://www.ncbi.nlm.nih.gov/pubmed/36554251
http://dx.doi.org/10.3390/e24121846

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9777583/
https://www.ncbi.nlm.nih.gov/pubmed/36554251
http://dx.doi.org/10.3390/e24121846

Ejemplares similares