1. Achlioptas, D., Gomes, C., Kautz, H., Selman, B.: Generating satisfiable problem instances. In: Proceedings of the 7th Conference on Artificial Intelligence (AAAI- 00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00), July 30– 3, pp. 256–261. AAAI Press, Menlo Park (2000)
2. Boolean Satisfability Research Group at Princeton. zChaff (2004), http://ee.princeton.edu/chaff/zchaff.php
3. Ayara, M., Timmis, J., de Lemos, R., de Castro, L.N., Duncan, R.: Negative selection: How to generate detectors. In: Timmis, J., Bentley, P.J. (eds.) Proceedings of the 1st International Conference on Artificial Immune Systems (ICARIS), University of Kent at Canterbury, September 2002, pp. 89–98 (2002), University of Kent at Canterbury Printing Unit
4. Lecture Notes in Computer Science;J. Cohen Benaloh,1994
5. Bradley, D.W., Tyrrell, A.M.: The architecture for a hardware immune system. In: Keymeulen, D., Stoica, A., Lohn, J., Zebulum, R.S. (eds.) The Third NASA/DoD Workshop on Evolvable Hardware, Long Beach, California, July 12-14, pp. 193–200. IEEE Computer Society, Los Alamitos (2001)