[ACM Press the 2013 ACM international symposium - Stateline, Nevada, USA (2013.03.24-2013.03.27)] Proceedings of the 2013 ACM international symposium on International symposium on physical design - ISPD '13 - Optical lithography extension with double patterning