{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,26]],"date-time":"2024-02-26T01:40:09Z","timestamp":1708911609533},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,5,10]],"date-time":"2008-05-10T00:00:00Z","timestamp":1210377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10601-008-9049-9","type":"journal-article","created":{"date-parts":[[2008,5,9]],"date-time":"2008-05-09T06:59:25Z","timestamp":1210316365000},"page":"235-253","source":"Crossref","is-referenced-by-count":0,"title":["Propagating systems of dense linear integer constraints"],"prefix":"10.1007","volume":"14","author":[{"given":"Thibaut","family":"Feydy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,10]]},"reference":[{"key":"9049_CR1","doi-asserted-by":"crossref","unstructured":"Chiu, C. K., & Lee, J. H. M. (1995). Interval linear constraint solving using the preconditioned interval Gauss\u2013Seidel method. In Twelfth international conference on logic programming (pp. 17\u201331). MIT Press.","DOI":"10.7551\/mitpress\/4298.003.0013"},{"key":"9049_CR2","doi-asserted-by":"crossref","unstructured":"Choi, C. W., Harvey, W., Lee, J. H. M., & Stuckey, P. J. (2006). Finite domain bounds consistency revisited. In Proceedings of the Australian conference on artificial intelligence 2006, LNCS (Vol. 4304, pp. 49\u201358). Springer.","DOI":"10.1007\/11941439_9"},{"key":"9049_CR3","unstructured":"ECLiPSe. http:\/\/eclipse.crosscoreop.com\/eclipse\/ ."},{"key":"9049_CR4","doi-asserted-by":"crossref","unstructured":"Feydy, T., & Stuckey, P. J. (2007). Propagating dense systems of integer linear equations. In Proceedings 22nd annual ACM symposium on applied computing (pp. 306\u2013310). ACM Press.","DOI":"10.1145\/1244002.1244075"},{"key":"9049_CR5","unstructured":"Fourier, J. B. J. (1824). Reported in: Analyse de travaux de l\u2019A cademie Royale des Sciences, pendant l\u2019annee 1824, Partie Mathematique, Histoire de l\u2019Academie Royale de Sciences de l\u2019Institut de France 7 (1827) xlvii-lv. (Partial English translation in: D.A . Kohler, Translation of a Report by Fourier on his work on Linear Inequalities. Opsearch 10 (1973) 38-42.)."},{"key":"9049_CR6","unstructured":"Goualard, F. (2008). Gaol reference manual. http:\/\/sourceforge.net\/projects\/gaol\/ ."},{"key":"9049_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0096-3003(83)90001-2","volume":"12","author":"E. Hansen","year":"1983","unstructured":"Hansen, E., & Greenberg, R. I. (1983). An interval Newton method. Applied Mathematics and Computation, 12, 89\u201398.","journal-title":"Applied Mathematics and Computation"},{"issue":"2","key":"9049_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/A:1022323717928","volume":"8","author":"W. Harvey","year":"2003","unstructured":"Harvey, W., & Stuckey, P. J. (2003). Improving linear constraint propagation by changing constraint representation. Constraints, 8(2), 173\u2013207.","journal-title":"Constraints"},{"key":"9049_CR9","unstructured":"Henderson, F., et al. (2007). The mercury language reference manual. http:\/\/www.mercury.cs.mu.oz.au ."},{"key":"9049_CR10","volume-title":"Interval arithmetic","author":"R. Moore","year":"1966","unstructured":"Moore, R. (1966). Interval arithmetic. Prentice-Hall, Englewood Cliffs (NJ), USA."},{"key":"9049_CR11","volume-title":"Interval methods for systems of equations, Encyclopedia of Mathematics and its Applications (Vol. 37)","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A. (1990). Interval methods for systems of equations, Encyclopedia of Mathematics and its Applications (Vol. 37). Cambridge, UK: Cambridge University Press."},{"key":"9049_CR12","unstructured":"OPL Studio (2008). http:\/\/www.ilog.com\/products\/oplstudio\/ ."},{"key":"9049_CR13","doi-asserted-by":"crossref","unstructured":"Shen, K., & Schimpf, J. (2005). Eplex: Harnessing mathematical programming solvers for constraint logic programming. In Proceedings of principles and practice of constraint programming, LNCS (Number 3709, pp. 622\u2013636). Springer Verlag.","DOI":"10.1007\/11564751_46"},{"key":"9049_CR14","doi-asserted-by":"crossref","unstructured":"Solnon, C. (1997). Cooperation of LP solvers for solving MILPs. In Proceedings international conference on tools for artificial intelligence (pp. 240\u2013247). IEEE Press.","DOI":"10.1109\/TAI.1997.632262"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9049-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-008-9049-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9049-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,26]],"date-time":"2024-02-26T01:22:56Z","timestamp":1708910576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-008-9049-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,10]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9049"],"URL":"https:\/\/doi.org\/10.1007\/s10601-008-9049-9","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,10]]}}}