Skip to main content
Article
Solving MAX-SAT Problem by Binary Biogeograph-based Optimization Algorithm
2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference, IEMCON 2019
  • Hafiz Munsub Ali, Simon Fraser University
  • Waleed Ejaz, Thompson Rivers University
  • May Al Taei, Zayed University
  • Farkhund Iqbal, Zayed University
Document Type
Conference Proceeding
Publication Date
10-1-2019
Abstract

© 2019 IEEE. Several sensing problems in wireless sensor networks (WSNs) can be modeled to maximum satisfaction (MAX-SAT) or SAT problems. Also, MAX-SAT is an established framework for computationally expensive problems in other fields. There exist efficient algorithms to solve the MAX-SAT, which is an NP-hard problem. The reason for remodeling various sensing problems to MAX-SAT is to use these algorithms to solve challenging sensing problems. In this paper, we test a binary Biogeography-based (BBBO) algorithm for the MAX-SAT as an optimization problem with a binary search space. The original BBO is a swarm intelligence-based algorithm, which is well-tested for continuous (and nonbinary) integer space optimization problems, but its use for the binary space was limited. Since the exact algorithm to solve the MAX-SAT problem using moderate computing resources is not well-known; therefore, swarm intelligence based evolutionary algorithms (EAs) can be helpful to find better approximate solutions with limited computing resources. Our simulation results demonstrate the experimental exploration of the binary BBO algorithm against binary (enhanced fireworks algorithm) EFWA, discrete ABC (DisABC) and Genetic Algorithm (GA) for several classes of MAX-SAT problem instances.

ISBN
9781728125305
Publisher
Institute of Electrical and Electronics Engineers Inc.
Disciplines
Keywords
  • biogeography,
  • fireworks algorithm,
  • MAX-SAT,
  • optimization,
  • swarm intelligence
Scopus ID
85077962534
Indexed in Scopus
Yes
Open Access
No
https://doi.org/10.1109/IEMCON.2019.8936281
Citation Information
Hafiz Munsub Ali, Waleed Ejaz, May Al Taei and Farkhund Iqbal. "Solving MAX-SAT Problem by Binary Biogeograph-based Optimization Algorithm" 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference, IEMCON 2019 (2019) p. 1092 - 1097
Available at: http://works.bepress.com/farkhund-iqbal/119/