Title : 
Solving satisfiability problems with membrane algorithms
         
        
            Author : 
Zhang, Gexiang ; Liu, Chunxiu ; Gheorghe, Marian ; Ipate, Florentin
         
        
            Author_Institution : 
Sch. of Electr. Eng., Southwest Jiaotong Univ., Chengdu, China
         
        
        
        
        
        
            Abstract : 
This paper presents the application of membrane algorithms to satisfiability problems which are well-known NP-hard combinatorial optimization problems. The membrane algorithm, called QEPS, is a combination of P system approaches and quantum-inspired evolutionary algorithms. QEPS employs the hierarchical structure of the compartments of P systems, the objects consisting of quantum-inspired bit individuals, the rules composed of quantum-inspired gate evolutionary rules and transformation/communication-like rules in P systems to specify the membrane algorithms. A large number of experiments carried out on bench satisfiability problems show that QEPS performs better than its counterpart quantum-inspired evolutionary algorithm.
         
        
            Keywords : 
biocomputing; computability; evolutionary computation; optimisation; NP-hard combinatorial optimization problems; P system; QEPS; evolutionary algorithms; membrane algorithms; satisfiability; Application software; Biological system modeling; Biology computing; Biomembranes; Computer science; Concurrent computing; Distributed computing; Evolution (biology); Evolutionary computation; Robustness;
         
        
        
        
            Conference_Titel : 
Bio-Inspired Computing, 2009. BIC-TA '09. Fourth International Conference on
         
        
            Conference_Location : 
Beijing
         
        
            Print_ISBN : 
978-1-4244-3866-2
         
        
            Electronic_ISBN : 
978-1-4244-3867-9
         
        
        
            DOI : 
10.1109/BICTA.2009.5338159