{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T06:41:47Z","timestamp":1720334507561},"reference-count":7,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1016\/j.ipl.2023.106378","type":"journal-article","created":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T07:36:24Z","timestamp":1675928184000},"page":"106378","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Complexity of solving a system of difference constraints with variables restricted to a finite set"],"prefix":"10.1016","volume":"182","author":[{"given":"Santiago","family":"Cifuentes","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-3477-7136","authenticated-orcid":false,"given":"Francisco J.","family":"Soulignac","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Terlisky","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ipl.2023.106378_br0010","series-title":"Introduction to Algorithms","author":"Cormen","year":"2009"},{"issue":"3","key":"10.1016\/j.ipl.2023.106378_br0020","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0020-0190(01)00267-8","article-title":"Solving a system of difference constraints with variables restricted to a finite set","volume":"82","author":"Fishburn","year":"2002","journal-title":"Inf. Process. Lett."},{"issue":"7","key":"10.1016\/j.ipl.2023.106378_br0030","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1109\/12.55696","article-title":"Clock skew optimization","volume":"39","author":"Fishburn","year":"1990","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/j.ipl.2023.106378_br0040","series-title":"Proceedings of the 2002 ACM\/SIGDA Tenth International Symposium on Field-Programmable Gate Arrays, FPGA '02","first-page":"121","article-title":"Constrained clock shifting for field programmable gate arrays","author":"Singh","year":"2002"},{"issue":"12","key":"10.1016\/j.ipl.2023.106378_br0050","doi-asserted-by":"crossref","first-page":"2459","DOI":"10.1587\/transfun.E97.A.2459","article-title":"2-SAT based linear time optimum two-domain clock skew scheduling in general-synchronous framework","volume":"97","author":"Kohira","year":"2014","journal-title":"IEICE Trans. Fundam. Electron. Commun. Comput. Sci."},{"issue":"9","key":"10.1016\/j.ipl.2023.106378_br0060","doi-asserted-by":"crossref","first-page":"1888","DOI":"10.1109\/TVLSI.2013.2280732","article-title":"Optimal and efficient algorithms for multidomain clock skew scheduling","volume":"22","author":"Li","year":"2014","journal-title":"IEEE Trans. Very Large Scale Integr. (VLSI) Syst."},{"key":"10.1016\/j.ipl.2023.106378_br0070","series-title":"Digital LSI design methods considering process variations in advanced technology nodes","author":"Mashiko","year":"2017"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019023000212?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019023000212?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T15:37:44Z","timestamp":1684251464000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019023000212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":7,"alternative-id":["S0020019023000212"],"URL":"https:\/\/doi.org\/10.1016\/j.ipl.2023.106378","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Complexity of solving a system of difference constraints with variables restricted to a finite set","name":"articletitle","label":"Article Title"},{"value":"Information Processing Letters","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ipl.2023.106378","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"106378"}}