{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:46:12Z","timestamp":1752461172863},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:13:51Z","timestamp":1330280031000},"page":"186-203","source":"Crossref","is-referenced-by-count":3,"title":["Solving linear, min and max constraint systems using CLP based on relational interval arithmetic"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"K. McMillan and D. Dill, \u201cAlgorithms for Interface Timing Verification\u201d, Proceedings of the IEEE International Conference on Computer Design, 1992.","DOI":"10.1109\/ICCD.1992.276208"},{"key":"12_CR2","unstructured":"T. Amon, H. Hulgaard, G. Borriello and S. Burns, \u201cTiming Analysis of Concurrent Systems\u201d, Proceedings of the Design Automation Conference, 1993."},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1002\/net.3230210107","volume":"21","author":"J.A. Brozowski","year":"1991","unstructured":"J.A. Brozowski, T. Gahlinger and F. Mavaddat, \u201cConsistency and Satisfiability of Waveform Timing Specifications\u201d, Networks, Vol. 21, p. 91\u2013107, 1991.","journal-title":"Networks"},{"key":"12_CR4","unstructured":"T.-Y. Yen, A. Ishii, A. Casavant and W. Wolf, \u201cEfficient Algorithms for Interface Timing Verification\u201d, Proceedings of the Design Automation Conference, 1994."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"T. Amon and G. Borriello, \u201cAn Approach to Symbolic Timing Verification\u201d, 29th ACM\/IEEE Design Automation Conference, 1992.","DOI":"10.1109\/DAC.1992.227769"},{"key":"12_CR6","unstructured":"W. Older, and A. Vellino, \u201cConstraint Arithmetic on Real Intervals\u201d, Constraints Logic Programming: Selected Research, 1993."},{"key":"12_CR7","unstructured":"Vanbekbergen, P. G. Goossens and H. De Man, \u201cSpecification and Analysis of Timing Constraints in Signa Transitions Graphs\u201d, Proceedings of the European Conference on Design Automation, 1992."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"E.A. Walkup, and G. Borriello, \u201cInterface Timing Verification with Applications to Synthesis\u201d, Proceedings of the Design Automation Conference, 1994.","DOI":"10.1145\/196244.196297"},{"key":"12_CR9","unstructured":"P. Van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989."},{"key":"12_CR10","unstructured":"O. Lhomme, \u201cConsistency techniques for numeric CSPs\u201d, Proceedings of the 13th IJCAI, 1993."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"R.E. Moore, Methods and Applications of Interval Analysis, SIAM, 1979.","DOI":"10.1137\/1.9781611970906"},{"key":"12_CR12","unstructured":"T. Gahlinger. \u201cCoherence and Satisfiability of Waveform Timing Specifications\u201d. Research Report CS-90-11. University of Waterloo. 1990. Ph. D. thesis."},{"key":"12_CR13","unstructured":"W. Leler, Constraint Programming Languages: Their Specification and Generation, Addison-Wesley, 1988."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"K. Khordoc, M. Dufresne, E. Cerny, P.-A. Babkine and A. Silburt, \u201cIntegrating Behaviour and Timing in Executable Specifications\u201d, Proceedings of the IFIP Conference on HDL and their applications, p. 385\u2013402, 1993.","DOI":"10.1016\/B978-0-444-81641-2.50036-8"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"H. Vandecasteele, and D. De Schreye, \u201cImplementing a Finite-domain CLP-language on Top of Prolog: a Transformation Approach, Lecture Notes in Artificial Intelligence 822, Proceedings of the 5th International Conference Logic Programming and Automated Reasoning, p. 84\u201398, 1994.","DOI":"10.1007\/3-540-58216-9_31"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:54Z","timestamp":1605646674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}