{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:33:38Z","timestamp":1725770018648},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457024","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:33Z","timestamp":1361297793000},"page":"1369-1372","source":"Crossref","is-referenced-by-count":1,"title":["SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal"],"prefix":"10.1109","author":[{"family":"Fan Yang","sequence":"first","affiliation":[]},{"family":"Yici Cai","sequence":"additional","affiliation":[]},{"family":"Qiang Zhou","sequence":"additional","affiliation":[]},{"family":"Jiang Hu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"344","article-title":"Exact Combinatorial Optimization Methods for Physical Design of Regular Logic Bricks","author":"taylor","year":"2007","journal-title":"Proc DAC"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120866"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1231996.1232004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1956.tb03835.x"},{"key":"ref4","first-page":"625","article-title":"Efficient process-hotspot detection using range pattern matching","author":"yao","year":"2006","journal-title":"Proc ICCAD"},{"key":"ref3","first-page":"167","article-title":"A New FPGA Detailed Routing Approach Via Search-Based Boolean Satisfiability","author":"nam","year":"1999","journal-title":"Proceedings of ACM\/SIGDA FPGA"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2005.1466157"},{"key":"ref5","article-title":"New Features of the SAT'04 versions of zChaff","author":"fu","year":"2004","journal-title":"Sat competition"},{"journal-title":"SPLAT (Simulation of Projection Lens Aberrations via TCCs)","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1514932.1514959"},{"key":"ref2","first-page":"186","article-title":"Optical Proximity Correction (OPC)-Friendly Maze Routing","author":"huang","year":"2004","journal-title":"Proc DAC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391598"},{"key":"ref9","first-page":"5547","article-title":"Congestion-driven W-shape Multilevel Full-chip Routing Framework","author":"yao","year":"2006","journal-title":"Proc ISCAS"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457024.pdf?arnumber=5457024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:11:40Z","timestamp":1489867900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457024\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457024","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}