@proceedings {1429,
	title = {Ant Colony Optimization and its Application to Boolean Satisfiability for Digital VLSI Circuits},
	year = {2006},
	month = {12/2006},
	pages = {507-512},
	publisher = {IEEE Computer Society Press},
	address = {Mangalore, India},
	url = {TASSL/Papers/AntColonyOptimizationDigitalVLSI.pdf},
	author = {R. Sethuram and Manish Parashar}
}
