Handbook of algorithms for physical design automation part 31 doc