Cargando…
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...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2022
|
| Materias: | |
| 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 |