A Quantum Inspired Particle Swarm Algorithm for Solving the Maximum Satisfiability Problem

In this paper we investigate the use of quantum particle swarm optimization (QPSO) principles to resolve the satisfiability problem. We describe QPSOSAT, a new iterative approach for solving the well known Maximum Satisfiability problem (MAX-SAT). This latter has been shown to be NP-hard if the number of variables per clause is greater than 3. The basic idea is to harness the optimization capabilities of QPSO algorithm to achieve good quality solutions for Max Sat problem. To enhance the efficiency of the QPSO algorithm, a local search has been used. The obtained results are very promising and show the feasibility and effectiveness of the proposed hybrid approach.