Solving MAX-SAT Problem by Binary Biogeograph-based Optimization Algorithm

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