{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:02:06Z","timestamp":1746417726574,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104270"},{"type":"electronic","value":"9783319104287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_30","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T01:33:54Z","timestamp":1407893634000},"page":"398-406","source":"Crossref","is-referenced-by-count":1,"title":["Scalable Parallel Numerical CSP Solver"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Ishii","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuki","family":"Yoshizoe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toyotaro","family":"Suzumura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising Hull and Box Consistency. In: Proc. of ICLP, pp. 230\u2013244 (1999)"},{"key":"30_CR2","unstructured":"Bordeaux, L., Hamadi, Y., Samulowitz, H.: Experiments with Massively Parallel Constraint Solving. In: Proc. of IJCAI, pp. 443\u2013448 (2006)"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.artint.2014.02.001","volume":"211","author":"S. Caro","year":"2014","unstructured":"Caro, S., Chablat, D., Goldsztejn, A., Ishii, D., Jermann, C.: A branch and prune algorithm for the computation of generalized aspects of parallel robots. Artificial Intelligence\u00a0211, 34\u201350 (2014)","journal-title":"Artificial Intelligence"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V.: X10: an object-oriented approach to non-uniform cluster computing. In: Proc. of OOPSLA, pp. 519\u2013538 (2005)","DOI":"10.1145\/1103845.1094852"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-04244-7_20","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"G. Chu","year":"2009","unstructured":"Chu, G., Schulte, C., Stuckey, P.J.: Confidence-based work stealing in parallel constraint programming. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 226\u2013241. Springer, Heidelberg (2009)"},{"issue":"4","key":"30_CR6","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10601-012-9126-y","volume":"17","author":"D. Ishii","year":"2012","unstructured":"Ishii, D., Goldsztejn, A., Jermann, C.: Interval-based projection method for under-constrained numerical systems. Constraints Journal\u00a017(4), 432\u2013460 (2012)","journal-title":"Constraints Journal"},{"key":"30_CR7","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Moore, N.C.A., Nightingale, P., Prosser, P., Unsworth, C.: A Preliminary Review of Literature on Parallel Constraint Solving. In: Proc. of Workshop on Parallel Methods for Constraint Solving, p. 13 (2011)"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A., Goualard, F.: Box consistency through adaptive shaving. In: Proc. of SAC, pp. 2049\u20132054 (2010)","DOI":"10.1145\/1774088.1774519"},{"key":"30_CR9","unstructured":"Grama, A., Gupta, A., Karypis, G., Kumar, V.: Introduction to Parallel Computing. Addison Wesley (2003)"},{"issue":"1","key":"30_CR10","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L. Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software\u00a032(1), 138\u2013156 (2006)","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"3-4","key":"30_CR11","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. Information Processing Letters\u00a074(3-4), 141\u2013146 (2000)","journal-title":"Information Processing Letters"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Santosa, A., Yap, R., Zhu, K.: Scalable distributed depth-first search with greedy work stealing. In: Proc. of ICTAI, pp. 98\u2013103 (2004)","DOI":"10.1109\/ICTAI.2004.107"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"L\u00fcling, R., Monien, B., Reinefeld, A., Tsch\u00f6ke, S.: Mapping Tree-Structured Combinatorial Optimization Problems onto Parallel Computers. In: Ferreira, A., Pardalos, P. (eds.) SCOOP 1995. LNCS, vol.\u00a01054, pp. 115\u2013144. Springer, Heidelberg (1996)","DOI":"10.1007\/BFb0027120"},{"key":"30_CR14","unstructured":"Otten, L., Dechter, R.: Towards Parallel Search for Optimization in Graphical Models. In: Proc. of ISAIM (2010)"},{"key":"30_CR15","first-page":"203","volume":"6","author":"T. Schubert","year":"2009","unstructured":"Schubert, T., Lewis, M., Becker, B.: PaMiraXT: Parallel SAT Solving with Threads and Message Passing. JSAT\u00a06, 203\u2013222 (2009)","journal-title":"JSAT"},{"key":"30_CR16","unstructured":"Schulte, C.: Parallel search made simple. In: Proc. of TRICS, pp. 41\u201357 (2000)"},{"issue":"2","key":"30_CR17","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"P. Hentenryck Van","year":"1997","unstructured":"Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis\u00a034(2), 797\u2013827 (1997)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"30_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-13520-0_36","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"F. Xie","year":"2010","unstructured":"Xie, F., Davenport, A.: Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results. In: Lodi, A., Milano, M., Toth, P. (eds.) CPAIOR 2010. LNCS, vol.\u00a06140, pp. 334\u2013338. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10428-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:55:07Z","timestamp":1746334507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}