{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:43:57Z","timestamp":1752461037247},"reference-count":32,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6010,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1997,2]]},"DOI":"10.1016\/s0304-3975(96)00198-3","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:53:40Z","timestamp":1051127620000},"page":"253-281","source":"Crossref","is-referenced-by-count":12,"title":["Solving linear, min and max constraint systems using CLP based on relational interval arithmetic"],"prefix":"10.1016","volume":"173","author":[{"given":"Pierre","family":"Girodias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduard","family":"Cerny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William J.","family":"Older","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(96)00198-3_BIB1","series-title":"Introduction to Interval Computations","author":"Alefeld","year":"1983"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB2","series-title":"Proc. 29th ACM\/IEEE Design Automation Conf., DAC'92","first-page":"410","article-title":"An approach to symbolic timing verification","author":"Amon","year":"1992"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB3","series-title":"Proc. 1993 IEEE Internat. Conf. on Computer Design: VLSI in Computers & Processors, \u2018ICCD'93\u2019","article-title":"Timing analysis of current systems","author":"Amon","year":"1993"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB4","doi-asserted-by":"crossref","unstructured":"F. Benhamou and W.J. Older. Applying interval arithmetic to real, integer and Boolean constraints, J. Logic Programming, forthcoming.","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1002\/net.3230210107","article-title":"Consistency and satisfiability of waveform timing specifications","volume":"21","author":"Brozowski","year":"1991","journal-title":"Networks"},{"issue":"2","key":"10.1016\/S0304-3975(96)00198-3_BIB6","first-page":"125","article-title":"Logical arithmetic","volume":"2","author":"Cleary","year":"1987","journal-title":"Future Comput. Systems"},{"issue":"7","key":"10.1016\/S0304-3975(96)00198-3_BIB7","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","article-title":"An introduction to Prolog III","volume":"33","author":"Colmerauer","year":"1990","journal-title":"Comm. ACM"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB8","series-title":"Proc. 8th Canadian Conf. on Artificial Intelligence","first-page":"231","article-title":"From local to global consistency","author":"Dechter","year":"1990"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB9","series-title":"Proc. 12th Internat. Joint Conf. on Artificial Intelligence","first-page":"325","article-title":"An efficient arc consistency algorithm for a class of CSP problems","author":"Deville","year":"1991"},{"issue":"6","key":"10.1016\/S0304-3975(96)00198-3_BIB10","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/367766.368168","article-title":"Algorithm 97: shortest path","volume":"5","author":"Floyd","year":"1962","journal-title":"CACM"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB11","series-title":"Research Report CS-90-11","article-title":"Coherence and satisfiability of waveform timing specifications","author":"Gahlinger","year":"1990"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB12","series-title":"POPL'87: Proc. 14th ACM Symp. on Principles of Programming Languages","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB13","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: a survey","volume":"19\/20","author":"Jaffar","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB14","series-title":"Lecture Notes in Computer Science 976, Proc. Ist Internat. Conf. on Principles and Practice of Constraint Programming \u2014 CP'95","first-page":"276","article-title":"A unifying framework for tractable constraints","volume":"Vol. 976","author":"Jeavons","year":"1995"},{"issue":"2","key":"10.1016\/S0304-3975(96)00198-3_BIB15","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/92.238423","article-title":"Statistical timing analysis of combinational logic circuits","volume":"1","author":"Jyu","year":"1993","journal-title":"IEEE Trans. On Very Large Scale Integration (VLSI) Systems"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB16","series-title":"Proc. IFIP Conf. on HDL and their Applications","first-page":"385","article-title":"Integrating behaviour and Timing in executable specifications","author":"Khordoc","year":"1993"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB17","series-title":"Constraint Programming Languages: Their Specification and Generation","author":"Leler","year":"1988"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB18","series-title":"Proc. 13th Internat. Joint Conf. on Artificial Intelligence","article-title":"Consistency techniques for numeric CSPs","author":"Lhomme","year":"1993"},{"issue":"1","key":"10.1016\/S0304-3975(96)00198-3_BIB19","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB20","series-title":"Proc. IEEE Internat. Conf. on Computer Design, ICCD'92","first-page":"48","article-title":"Algorithms for interface timing verification","author":"McMillan","year":"1992"},{"issue":"2","key":"10.1016\/S0304-3975(96)00198-3_BIB21","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Networks of constraints: fundamental properties and applications to picture processing","volume":"7","author":"Montanari","year":"1974","journal-title":"Information Science"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB22","series-title":"Interval Analysis","author":"Moore","year":"1966"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB23","article-title":"Methods and Applications of Interval Analysis","author":"Moore","year":"1979","journal-title":"Studies in Applied Matthematics"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB24","series-title":"Constraints Logic Programming: Selected Research","first-page":"175","article-title":"Constraint arithmetic on real intervals","author":"Older","year":"1993"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB25","series-title":"Proc. 10th National Conf. on Artificial Intelligence, AAAI-92","first-page":"447","article-title":"On the minimality and decompsability of constraint networks","author":"Van Beek","year":"1992"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB26","series-title":"Proc. European Conf. on Design Automation, ED AC'92","first-page":"302","article-title":"Specification and Analysis of timing constraints in signa transitions graphs","author":"Vanbekbergen","year":"1992"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB27","series-title":"Proc. 5th Internat. Conf. Logic Programming and Automated Reasoning","first-page":"84","article-title":"Implementing a finite-domain CLP-language on top of Prolog: a transformation approach","volume":"Vol. 822","author":"Vandecasteele","year":"1994"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB28","article-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB29","series-title":"Proc. Design Automation Conf.","article-title":"Interface timing verification with applications to synthesis","author":"Walkup","year":"1994"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB30","series-title":"The Psychology of Computer Vision","article-title":"Generating semantic descriptions from drawings of scenes with shadows","author":"Waltz","year":"1975"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB31","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/321105.321107","article-title":"A Theorem on Boolean Matrices","volume":"9","author":"Warshall","year":"1962","journal-title":"JACM"},{"key":"10.1016\/S0304-3975(96)00198-3_BIB32","series-title":"Proc. Design Automation Conf.","article-title":"Efficient algorithms for interface timing verification","author":"Yen","year":"1994"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596001983?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596001983?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T17:58:07Z","timestamp":1556301487000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397596001983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,2]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,2]]}},"alternative-id":["S0304397596001983"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(96)00198-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1997,2]]}}}