Solving satisfiability problems with membrane algorithms

BIC-TA 2009 - Proceedings, 2009 4th International Conference on Bio-Inspired Computing: Theories and Applications

Volumn , Issue , 2009, Pages 29-36

  Zhang, Gexiang ^a   Liu, Chunxiu ^a   Gheorghe, Marian ^b   Ipate, Florentin ^c  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

^c UNIVERSITY OF PITESTI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL OPTIMIZATION PROBLEMS; EVOLUTIONARY RULES; HIERARCHICAL STRUCTURES; NP-HARD; P SYSTEMS; QUANTUM INSPIRED EVOLUTIONARY ALGORITHM; SATISFIABILITY PROBLEMS;

COMBINATORIAL OPTIMIZATION; COMPUTATIONAL COMPLEXITY; HIERARCHICAL SYSTEMS; MEMBRANE STRUCTURES; PROBLEM SOLVING;

EVOLUTIONARY ALGORITHMS;

EID: 73949105830     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BICTA.2009.5338159     Document Type: Conference Paper

References (34)

1. G. Pǎun and M. J. Pérez-Jiménez, "Fourth brainstorming week on membrane computing," Theoretical Computer Science, vol. 372, pp. 123-124, Mar. 2007.
2. M. Gheorghe, N. Krasnogor, and M. Camara, "P systems applications to systems biology," BioSystems, vol. 91, pp. 435-437, Mar. 2008.
3. G. Ciobanu, G. Pǎun, and M. J. Pérez-Jiménez, Eds., Applications of membrane computing, ser. Natural Computing. Berlin, Germany: Springer-Verlag, 2006.
4. G. Pǎun, "Computing with membranes," Journal of Computer and System Sciences, vol. 61, pp. 108-143, Aug. 2000.
5. G. Pǎun and G. Rozenberg, "A guide to membrane computing," Theoretical Computer Science, vol. 287, pp. 73-100, Sep. 2002.
6. G. Pǎun, "Tracing some open problems in membrane computing," Romanian Journal of Information Science and Technology, vol. 10, pp. 303-314, 2007.
7. G. X. Zhang, M. Gheorghe, and C. Z. Wu, "A quantum-inspired evolutionary algorithm based on p systems for a class of combinatorial optimization," Fundamenta Informaticae, vol. 87, pp. 93-116, Nov. 2008.
8. G. Pǎun, "Bio-inspired computing paradigms (natural computing)," in Proc. UPP'2004, ser. Lecture Notes in Computer Science, J. P. Banâtre et al., Eds. Berlin Heidelberg: Springer-Verlag, 2005, vol. 3566, pp. 155-160.
9. P. P. Bonissone, R. Subbu, N. Eklund, and T. R. Kiehl, "Evolutionary algorithms + domain knowledge = real-world evolutionary computation," IEEE Trans. Evol. Comput., vol. 10, pp. 256-280, Jun. 2006.
10. D. Whitley, "An overview of evolutionary algorithms practical issues and common pitfalls," Information and Software Technology, vol. 43, pp. 817-831, Dec. 2001.
11. T. Jones and S. Forrest, "Genetic algorithms and heuristic search," Santa Fe Institute, Tech. Rep., 1995.
12. X. Yao, "An overview of evolutionary computation," Chinese Journal of Advanced Software Research, vol. 3, pp. 12-29, 1996.
13. T. Y. Nishida, "An approximate algorithm for np-complete optimization problems exploiting p systems," in Proc. Brainstorming Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, Nov. 2004, pp. 185-192.
14. G. Pǎun, "P systems with active membranes: attacking np-complete problems," Journal of Automata Language Combinatorics, vol. 6, pp. 75-90, Jan. 2001.
15. G. Ciobanu, "Distributed algorithms over communicating membrane systems," BioSystems, vol. 70, pp. 123-133, Jul. 2003.
16. T. Y. Nishida, "Application of membrane computing: Membrane algorithms: an approximate algorithm for np-complete optimization problems," in [3], pp. 303-314.
17. -, "Membrane algorithms," in Proc. WMC 2005, ser. Lecture Notes in Computer Science, vol. 3566. Berlin Heidelberg: Springer-Verlag, 2006, pp. 55-66.
18. A. Leporati and D. Pagani, "A membrane algorithm for the min storage problem," in Proc. WMC 2006, ser. Lecture Notes in Computer Science, vol. 4361. Berlin Heidelberg: Springer-Verlag, 2006, pp. 443-162.
19. L. Huang, X. X. He, N. Wang, and Y. Xie, "P systems based multi-objective optimization algorithm," Progress in Natural Science, vol. 17, pp. 458-165, 2007.
20. L. Huang and N. Wang, "An optimization algorithm inspired by membrane computing," in Proc. ICNC 2006, ser. Lecture Notes in Computer Science, vol. 4222. Berlin Heidelberg: Springer-Verlag, 2006, pp. 49-52.
21. D. Zaharie and G. Ciobanu, "Distributed evolutionary algorithms in-spired by membranes in solving continuous optimization problems," in Proc. WMC 2006, ser. Lecture Notes in Computer Science, vol. 4361. Berlin Heidelberg: Springer-Verlag, 2006, pp. 536-553.
22. G. Pǎun and M. J. Pérez-Jiménez, "Membranes computing: brief introduction, recent results and applications," BioSystem, vol. 85, pp. 11-22, Jul. 2006.
23. G. Folino, C. Pizzuti, and G. Spezzano, "Parallel hybrid method for sat that couples genetic algorithms and local search," IEEE Trans. Evol. Comput., vol. 5, pp. 323-334, Aug. 2001.
24. J. Gottlieb, E. Marchiori, and C. Rossi, "Evolutionary algorithms for the satisfiability problem," Evolutionary Computation, vol. 10, pp. 35-50, Spring 2002.
25. S. Cook, "The complexity of theorem-proving procedures," in Proc. Third Annual ACM Symposium on Theory of Computing, Shaker Heights, Ohio, United States, May 1971, pp. 151-158.
26. A. Alhazov, C. Martin-Vide, and L. Pan, "Solving a pspace-complete problem by p systems with restricted active membranes," Fundamenta Informaticae, vol. 58, pp. 67-77, Apr. 2003.
27. L. Q. Pan and A. Alhazov, "Solving hpp and sat by p systems with active membranes and separation rules," Acta Informatica, vol. 43, pp. 131-145, Spring 2006.
28. I. Grigorenko and M. E. Garcia, "Calculation of the partition function using quantum genetic algorithms," Physica A: Statistical Mechanics and its Applications, vol. 313, pp. 463-170, 2002.
29. M. S. Yee and L. Hanzo, "Implementing quantum genetic algorithms: a solution based on grover's algorithm," in Proc. the 3rd Conference on Computing Frontiers, Ischia, Italy, May 2006, pp. 14-16.
30. K. H. Han and J. H. Kim, "Quantum-inspired evolutionary algorithm for a class of combinatorial optimization," IEEE Trans. Evol. Comput., vol. 6, pp. 580-593, Dec. 2002.
31. M. Moore and A. Narayanan, "Quantum-inspired computing," Univ. of Exeter, Tech. Rep. Exeter 344, Nov. 1995.
32. A. Narayanan and M. Moore, "Quantum-inspired genetic algorithms," in Proceedings of the 1996 IEE InternationalConference on Evolutionary Computation. IEEE Press, 1995, pp. 61-66.
33. Benchmark. [Online]. Available: http://www.satlib.org/
34. S. Garcia, D. Molina, M. Lozano, and F. Herrera, "A study on the use of non-parametric tests for analyzing the evolutionary algorithms' behaviour: a case study on the cec'2005 special session on real parameter optimization," Journal of Heuristics, vol. 87, doi: 10.1007/s10732-008-9080-4.