@book{23909,
	title = {Algorithms for VLSI design automation}
}