{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:15:38Z","timestamp":1730276138950,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1109\/isqed.2009.4810306","type":"proceedings-article","created":{"date-parts":[[2009,4,3]],"date-time":"2009-04-03T18:50:11Z","timestamp":1238784611000},"page":"272-275","source":"Crossref","is-referenced-by-count":0,"title":["A geometric approach to register transfer level satisfiability"],"prefix":"10.1109","author":[{"given":"Hector","family":"Navarro","sequence":"first","affiliation":[]},{"given":"Saeid","family":"Nooshabadi","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"Montiel-Nelson","sequence":"additional","affiliation":[]},{"given":"V.","family":"Navarro","sequence":"additional","affiliation":[]},{"given":"J.","family":"Sosa","sequence":"additional","affiliation":[]},{"given":"Jose C.","family":"Garcia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Using the CPLEX linear optimizer and mixed integer optimizer","year":"1992","key":"17"},{"key":"15","first-page":"91","article-title":"double description method revisited","author":"fukuda","year":"1996","journal-title":"Selected papers from the 8th Franco-Japanese and 4th Franco-Chinese Conference on Combinatorics and Computer Science"},{"year":"0","key":"16"},{"journal-title":"The Yices SMT Solver","year":"2006","author":"dutertre","key":"13"},{"key":"14","first-page":"81","article-title":"a fast linear-arithmetic solver for dpll(t)","volume":"4144","author":"dutertre","year":"2006","journal-title":"ser LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_1"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.7"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915055"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2007.896908"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907270"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.936380"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.853700"}],"event":{"name":"2009 10th International Symposium on Quality of Electronic Design (ISQED)","start":{"date-parts":[[2009,3,16]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2009,3,18]]}},"container-title":["2009 10th International Symposium on Quality of Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4804412\/4810250\/04810306.pdf?arnumber=4810306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T18:37:02Z","timestamp":1489775822000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4810306\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isqed.2009.4810306","relation":{},"subject":[],"published":{"date-parts":[[2009,3]]}}}