Self-Aligned Double Patterning Decomposition for Overlay Minimization and Hot Spot Detection. (DAC: Annual ACM/IEEE Design Automation Conference, 2011)