Jansen T, Oliveto P S, Zarges C. On the analysis of the immune-Inspired B-Cell algorithm for the vertex cover problem[C]//ICARIS 2011. Springer, Heidelberg, 2011: 117-131.

Garey M R, Johnson D S. Computers and intractability-a guide to the theory of NP-completeness[M]. New York, Freeman, 1979.

Baca Raton Dasgupta D, NIñO L F. Immunological computation: theory and applications[M]. Baca Raton: CRC Press, 2008.

Beame P, Kautz H, Sabharwa A. Towards understanding and harnessing the potential of clause learning[J]. Journal of Artificial Intelligence Research, 2004, 22(2): 319-335. DOI: 319

Cook S. The complexity of theorem-proving procedures[C]//Proc of the 3rd Ann. ACM Symp. on Theory of Computing, Assoc. Comput. Mach. New York, 1971: 151.

Neumann F, Witt C. Bioinspired computation in combinatorial optimization-algorithms and their computational complexity[M]. Series, Natural Computing Springer, 2010.

Jansen T, Zarges C. A theoretical analysis of immune inspired somatic contiguous hypermutations for function optimization[C]//Proc of the International Conference on Artificial Immune Systems, ICARIS. Berlin, Springer, 2009: 80-94.

Wegener I. Methods for the analysis of evolutionary algorithms on pseudo-Boolean functions[C]//In Evolutionary Optimization. Norwell, USA, Kluwer Academic Publishers, 2002: 349-369.

Droste S, Jansen T, Tinnefeld K, et al. A new framework for the valuation of algorithms for black-box optimization[C]//Foundations of Genetic Algorithms 7 (FOGA). Morgan Kaufmann, San Francisco, CA, 2003: 253-270.

Kelsey J, Timmis J. Immune inspired somatic contiguous hypermutation for function optimization[C]//Genetic and Evolutionary Computation Conference. Heidelberg, Springer, 2003: 207-218.

HIirsch E A, Kojevnikov a. UnitWalk: A new SAT solver that uses local search guided by unit clause elimination[J]. Annals of Mathematics and Artificial Intelligence, 2005, 43(1): 91-111. DOI: 91

Jansen T, Zarges C. Computing longest common subsequences with the B-Cell algorithm[C]//Proc of the 11th International Conference on Artificial Immune Systems (ICARIS'12). Italy, Taormina, 2012: 111-124.