.png){kind=icon}
Return
Bee swarm optimization for solving the MAXSAT problem using prior knowledge
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-017-2956-1.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper explores rule decomposition for solving the MAXSAT problem. Four approaches are proposed to steer a bee swarm optimization metaheuristic. Two decomposition methods are proposed: direct and indirect. The first one applies the Kmeans algorithm, while the second one transforms a MAXSAT instance into a transactional database before performing decomposition using the Apriori algorithm. Several experiments conducted on DIMACS benchmark instances, and some other hard and large SAT instances have been carried out. Results show clear improvement compared to the state-of-the-art MAXSAT algorithms in terms of the quality of the obtained solutions. They show that the proposed approaches are stable when dealing with hard instances such as Parity8 from DIMACS. Results also demonstrate the superiority of the proposed approaches for medium and large instances. The proposed approaches could be applied to other optimization problems such as the weighted MAXSAT problem, the MAXCSP and coloring problems. They may also be adapted for other metaheuristics and decomposition methods.
Keywords:
Decomposition
Bee swarm optimization
Kmeans
Apriori
MAXSAT
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
2.5
Papers:
1.0W
Citations:
2.1W
Organization
Cited Papers
A study of photo-biological reactions under TiO2 nanoparticle accumulation in Spinacia oleracea
PREAI
ShareSaveShareSaveShareSaveHeterogeneity in Cost-Sharing and Cost-Sensitivity, and the Role of the Prescribing Physician.png)
OAAI
IF0
OAAIShareSave
View more