{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T14:44:48Z","timestamp":1776955488408,"version":"3.51.4"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1109\/aspdac.2008.4483950","type":"proceedings-article","created":{"date-parts":[[2008,4,10]],"date-time":"2008-04-10T18:56:31Z","timestamp":1207853791000},"page":"244-249","source":"Crossref","is-referenced-by-count":15,"title":["Ordered escape routing based on Boolean satisfiability"],"prefix":"10.1109","author":[{"family":"Lijuan Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin D. F.","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","article-title":"practical sat solving: achievements, problems and opportunities","author":"goldberg","year":"2006","journal-title":"Algorithms for the SAT-problem Workshop"},{"key":"16","year":"0"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/43.536723"},{"key":"14","article-title":"effective use of boolean satisfiability procedures in the formal verification of superscalar and vliw microprocessors","author":"velev","year":"2001","journal-title":"Proc of DAC"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1993.313303"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1999.1054"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(92)90060-P"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/12.54841"},{"key":"10","article-title":"eficient generation of test patterns using boolean satisfiabiliy","author":"larrabee","year":"1990"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76956"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2007.375235"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2006.1594758"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.891364"},{"key":"9","article-title":"an exploration of physical design problems via boolean satisfiability (sat)","author":"nam","year":"1999","journal-title":"Ph D forum at DAC"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/92.678873"}],"event":{"name":"2008 Asia and South Pacific Design Automation Conference (ASPDAC)","location":"Seoul, South Korea","start":{"date-parts":[[2008,3,21]]},"end":{"date-parts":[[2008,3,24]]}},"container-title":["2008 Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4480121\/4483913\/04483950.pdf?arnumber=4483950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T21:46:24Z","timestamp":1489700784000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4483950\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2008.4483950","relation":{},"subject":[],"published":{"date-parts":[[2008,1]]}}}