Youcef Djenouri
Bee swarm optimization for solving the MAXSAT problem using prior knowledge
Djenouri, Youcef; Habbas, Zineb; Djenouri, Djamel; Fournier-Viger, Philippe
Authors
Zineb Habbas
Dr Djamel Djenouri Djamel.Djenouri@uwe.ac.uk
Associate Professor in Computer Science
Philippe Fournier-Viger
Abstract
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.
Citation
Djenouri, Y., Habbas, Z., Djenouri, D., & Fournier-Viger, P. (2019). Bee swarm optimization for solving the MAXSAT problem using prior knowledge. Soft Computing, 23(9), 3095-3112. https://doi.org/10.1007/s00500-017-2956-1
Journal Article Type | Article |
---|---|
Acceptance Date | Jan 1, 2019 |
Online Publication Date | Nov 29, 2017 |
Publication Date | 2019-05 |
Deposit Date | Apr 22, 2021 |
Journal | Soft Computing |
Print ISSN | 1432-7643 |
Electronic ISSN | 1433-7479 |
Publisher | Springer (part of Springer Nature) |
Peer Reviewed | Peer Reviewed |
Volume | 23 |
Issue | 9 |
Pages | 3095-3112 |
DOI | https://doi.org/10.1007/s00500-017-2956-1 |
Public URL | https://uwe-repository.worktribe.com/output/7283572 |
Additional Information | First Online: 29 November 2017; : ; : The authors declare that there is no conflict of interests.; : This article does not involve studies with human participants. |
You might also like
Knowledge guided deep learning for general-purpose computer vision applications
(2023)
Conference Proceeding
Deep learning for estimating sleeping sensor’s values in sustainable IoT applications
(2022)
Conference Proceeding
Hybrid RESNET and regional convolution neural network for accident estimation
(2022)
Journal Article
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search