R.  Sethuram and Parashar, M., ?Ant Colony Optimization and its Application to Boolean Satisfiability for Digital VLSI Circuits?, Proceedings of 14th International Conference on Advanced Computing and Communication (ADCOM 2006). IEEE Computer Society Press, Mangalore, India, pp. 507-512, 2006.