The link between r-contiguous detectors and k-CNF satisfiability

2006 IEEE Congress on Evolutionary Computation, CEC 2006

Volumn , Issue , 2006, Pages 491-498

  Stibor, Thomas ^a   Timmis, Jonathan ^b   Eckert, Claudia ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; EVOLUTIONARY ALGORITHMS; PROBLEM SOLVING;

CONTIGUOUS DETECTORS; K-CNF SATISFIABILITY;

LOGIC PROGRAMMING;

EID: 34547258581     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. E. Hart and J. Timmis, "Application areas of AIS: Past, present and future," in Proceedings of the 4th International Conference on Artificial Immune Systems (ICARIS), ser. Lecture Notes in Computer Science, vol. 3627. Springer-Verlag, 2005, pp. 483-497.
2. L. N. de Castro and J. Timmis, Artificial Immune Systems: A New Computational Intelligence Approach. Springer Verlag, 2002.
3. M. Ayara, J. Timmis, R. de Lemos, L. N. de Castro, and R. Duncan, "Negative selection: How to generate detectors," in Proceedings of the 1nd International Conference on Artificial Immune Systems (ICARIS). Unversity of Kent at Canterbury Printing Unit, 2002, pp. 89-98.
4. M. T. Ranang, "An artificial immune system approach to preserving security in computer networks," Master's thesis, Norges Teknisk-Naturvitenskapelige Universitet, 2002.
5. S. Forrest, A. S. Perelson, L. Allen, and R. Cherukuri, "Self-nonself discrimination in a computer," in Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press, 1994.
6. J. K. Percus, O. E. Percus, and A. S. Perelson, "Predicting the size of the T-cell receptor and antibody combining region from consideration of efficient self-nonself discrimination," Proceedings of National Academy of Sciences USA, vol. 90, pp. 1691-1695, 1993.
7. W. Feller, An Introduction to Probability Theory and its Applications, 3rd ed. John Wiley & Sons, 1968, vol. 1.
8. S. T. Wierzchoń, "Discriminative power of the receptors activated by k-contiguous bits rule," Journal of Computer Science and Technology, vol. 1, no. 3, pp. 1-13, 2000.
9. J. Balthrop, F. Esponda, S. Forrest, and M. Glickman, "Coverage and generalization in an artificial immune system," in GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference. New York: Morgan Kaufmann Publishers, 9-13 July 2002, pp. 3-10.
10. T. Stibor, J. Timmis, and C. Eckert, "On the appropriateness of negative selection defined over hamming shape-space as a network intrusion detection system," in Congress On Evolutionary Computation - CEC 2005. IEEE Press, 2005, pp. 995-1002.
11. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd ed. MIT Press, 2002.
12. K. R. Reischuk, Einführung in die Komplexitätstheorie. B.G. Teubner Stuttgart, 1990.
13. J. A. Robinson, "A machine-oriented logic based on the resolution principle," Journal of the Association for Computing Machinery (JACM), vol. 12, no. 1, pp. 23-41, January 1965.
14. E. Welzl, "Boolean satisfiability -combinatorics and algorithms," 2005, lecture Notes (http://www.inf.ethz.ch/~emo/SmallPieces/ SAT.ps).
15. T. Brueggemann and W. Kern, "An improved deterministic local search algorithm for 3-SAT," Theoretical Computer Science, vol. 329, no. 1-3, pp. 303-313, 2004.
16. T. Hofmeister, U. Schöning, R. Schuler, and O. Watanabe, "A probabilistic 3-SAT algorithm further improved," in 19th Annual Symposium on Theoretical Aspects of Computer Science (STACS), ser. Lecture Notes in Computer Science, vol. 2285. Springer-Verlag, 2002, pp. 192-202.
17. U. Schöning, "A probabilistic algorithm for k-SAT and constraint satisfaction problems," in 40th Annual Symposium on Foundations of Computer Science (FOCS). IEEE Press, 1999, pp. 410-414.
18. P. D'haeseleer, S. Forrest, and P. Helman, "An immunological approach to change detection: algorithms, analysis, and implications," in Proceedings of the 1996 IEEE Symposium on Research in Security and Privacy, IEEE Computer Society. IEEE Computer Society Press, May 1996, pp. 110-119.
19. S. T. Wierzchoń, "Generating optimal repertoire of antibody strings in an artificial immune system," in Intelligent Information Systems. Springer Verlag, 2000, pp. 119-133.