{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:45:42Z","timestamp":1729676742019,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742881","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T21:20:31Z","timestamp":1393017631000},"page":"149-154","source":"Crossref","is-referenced-by-count":1,"title":["Fixing Double Patterning violations with look-ahead"],"prefix":"10.1109","author":[{"given":"Sambuddha","family":"Bhattacharya","sequence":"first","affiliation":[]},{"given":"Subramanian","family":"Rajagopalan","sequence":"additional","affiliation":[]},{"given":"Shabbir H.","family":"Batterywala","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488766"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1016\/S1574-6526(07)03002-7","article-title":"Satisfiability solvers","author":"gomes","year":"2008","journal-title":"Handbook of Knowledge Representation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0893-9659(93)90022-F"},{"key":"11","first-page":"383","article-title":"Symbolic layout compaction review","author":"boyer","year":"1988","journal-title":"Proc IEEE\/ACM Design Automation Conf"},{"key":"12","article-title":"Satisfiability modulo theories","author":"barrett","year":"2008","journal-title":"Handbook of Satisfiability"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105298"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2048374"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1117\/12.712139","article-title":"Double patterning design split implementation and validation for the 32 nm node","volume":"6521","author":"drapeau","year":"2007","journal-title":"Proc SPIE"},{"journal-title":"Introduction to Algorithms","year":"1990","author":"cormen","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5654070"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2232710"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2079990"},{"key":"4","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/TCAD.2011.2179039","article-title":"Nativeconflict and stitch-aware wire perturbation for double patterning technology","volume":"31","author":"fang","year":"2012","journal-title":"IEEE Trans Computer-Aided Design of Integrated Circuits and Systems"},{"journal-title":"Linear and Nonlinear Programming","year":"1984","author":"luenberger","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/267665.267701"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2014,1,20]]},"location":"Singapore","end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742881.pdf?arnumber=6742881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T08:21:09Z","timestamp":1498119669000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742881\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742881","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}