{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:34:32Z","timestamp":1725680072687},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_26","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"302-312","source":"Crossref","is-referenced-by-count":0,"title":["Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems"],"prefix":"10.1007","author":[{"given":"Evgueni","family":"Petrov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"van Beek, P., Walsh, T.: Principles of Constraint Programming and Constraint Processing: A Review. AI Magazine\u00a025(4) (2004)"},{"key":"26_CR2","unstructured":"Rolf, C.C., Kuchcinski, K.: Parallel Consistency in Constraint Programming. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), pp. 638\u2013644. CSREA Press (2009)"},{"key":"26_CR3","unstructured":"Vanderbei, R.: Cute AMPL models, \n                  \n                    http:\/\/www.orfe.princeton.edu\/~rvdb\/ampl\/nlmodels\/cute\/"},{"key":"26_CR4","unstructured":"The Open Group and IEEE. POSIX Threads \/\/ IEEE Standard 1003.1. \u2013 The Open Group and IEEE (2004)"},{"key":"26_CR5","unstructured":"Richter, J., Nasarre, C.: Windows (R) via C\/C++, 5th edn. Microsoft Press (2007) ISBN 9780735624245"},{"key":"26_CR6","unstructured":"Reinders, J.: Intel Threading Building Blocks, p. 336. O\u2019Reilly Print (2007) ISBN 9780596514808"},{"key":"26_CR7","unstructured":"The OpenMP API specification for parallel programming, \n                  \n                    http:\/\/openmp.org"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Blumofe, R.D., Joerg, C.F., Kuszmaul, B.C., Leiserson, C.E., Randall, K.H., Zhou, Y.: Cilk: An Efficient Multithreaded Runtime System. In: Proc. 5th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP), pp. 207\u2013216 (1995)","DOI":"10.1145\/209937.209958"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Davis, E.: Constraint propagation with interval labels. J. Artificial Intelligence\u00a032(3) (1987)","DOI":"10.1016\/0004-3702(87)90091-9"},{"issue":"3-4","key":"26_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0020-0190(00)00048-X","volume":"74","author":"L. Granvilliers","year":"2000","unstructured":"Granvilliers, L., Hains, G.: A conservative scheme for parallel interval narrowing. J. Inf. Process. Lett.\u00a074(3-4), 141\u2013146 (2000)","journal-title":"J. Inf. Process. Lett."},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-24738-8_11","volume-title":"Numerical Software with Result Verification","author":"T. Beelitz","year":"2004","unstructured":"Beelitz, T., Bischof, C.H., Lang, B., Althoff, K.S.: Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol.\u00a02991, pp. 198\u2013205. Springer, Heidelberg (2004) ISBN 3540212604"},{"issue":"3","key":"26_CR12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(90)90009-O","volume":"45","author":"S. Kasif","year":"1990","unstructured":"Kasif, S.: On the parallel complexity of discrete relaxation in constraint satisfaction networks. J. Artif. Intel.\u00a045(3), 99\u2013118 (1990)","journal-title":"J. Artif. Intel."},{"key":"26_CR13","unstructured":"Bordeaux, L., Hamadi, Y., Samulowitz, H.: Experiments with Massively Parallel Constraint Solving. In: Proc. Int. Joint Conf. on Artif. Intel., pp. 443\u2013448 (2009)"},{"key":"26_CR14","unstructured":"Kalinnik, N., Schubert, T., \u00c1brah\u00e1m, E., Wimmer, R., Becker, B.: Picoso - A Parallel Interval Constraint Solver. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), pp. 473\u2013479. CSREA Press (2009)"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1137\/S0895479893251198","volume":"16","author":"J. Rohn","year":"1995","unstructured":"Rohn, J., Kreinovich, V.: Computing exact componentwise bounds on solutions of linear systems with interval data is NP-hard. SIAM J. Matr. Anal. Appl.\u00a016, 415\u2013420 (1995)","journal-title":"SIAM J. Matr. Anal. Appl."},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Cann, D.: Retire Fortran?: a debate rekindled. Communications of the ACM\u00a035(8) (1992)","DOI":"10.1145\/135226.135231"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:23Z","timestamp":1620126863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}