{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:45Z","timestamp":1725566145130},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152108"},{"type":"electronic","value":"9783642152115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15211-5_28","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T11:38:15Z","timestamp":1284982695000},"page":"265-274","source":"Crossref","is-referenced-by-count":14,"title":["Parallel Constraint-Based Local Search on the Cell\/BE Multicore Architecture"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Diaz","sequence":"first","affiliation":[]},{"given":"Salvador","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Codognet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"28_CR1","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1023\/A:1015061802659","volume":"8","author":"R.M. Aiex","year":"2002","unstructured":"Aiex, R.M., Resende, M.G.C., Ribeiro, C.C.: Probability distribution of solution time in grasp: An experimental investigation. Journal of Heuristics\u00a08(3), 343\u2013373 (2002)","journal-title":"Journal of Heuristics"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/B:HEUR.0000026984.08350.12","volume":"10","author":"E. Alba","year":"2004","unstructured":"Alba, E.: Special issue on new advances on parallel meta-heuristics for complex problems. Journal of Heuristics\u00a010(3), 239\u2013380 (2004)","journal-title":"Journal of Heuristics"},{"key":"28_CR3","unstructured":"Chu, G., Stuckey, P.: A parallelization of minisat 2.0. In: SAT race (2008)"},{"key":"28_CR4","unstructured":"Codognet, P., Diaz, D.: An efficient library for solving csp with local search. In: Ibaraki, T. (ed.) MIC 2003, 5th International Conference on Metaheuristics (2003)"},{"issue":"3","key":"28_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1023\/A:1015084116772","volume":"8","author":"T. Crainic","year":"2002","unstructured":"Crainic, T., Toulouse, M.: Special issue on parallel meta-heuristics. Journal of Heuristics\u00a08(3), 247\u2013388 (2002)","journal-title":"Journal of Heuristics"},{"issue":"3","key":"28_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/B:HEUR.0000026897.40171.1a","volume":"10","author":"T.G. Crainic","year":"2004","unstructured":"Crainic, T.G., Gendreau, M., Hansen, P., Mladenovic, N.: Cooperative parallel variable neighborhood search for the median. Journal of Heuristics\u00a010(3), 293\u2013314 (2004)","journal-title":"Journal of Heuristics"},{"issue":"3","key":"28_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J.C. Kergommeaux de","year":"1994","unstructured":"de Kergommeaux, J.C., Codognet, P.: Parallel logic programming systems. ACM Computing Surveys\u00a026(3), 295\u2013336 (1994)","journal-title":"ACM Computing Surveys"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-540-48085-3_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"I.P. Gent","year":"1999","unstructured":"Gent, I.P., Walsh, T.: Csplib: A benchmark library for constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 480\u2013481. Springer, Heidelberg (1999)"},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/SAT190070","volume":"6","author":"Y. Hamadi","year":"2009","unstructured":"Hamadi, Y., Jabbour, S., Sais, L.: Manysat: a parallel sat solver. Journal on Satisfiability, Boolean Modeling and Computation\u00a06, 245\u2013262 (2009)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"28_CR10","unstructured":"Van Luong, T., Melad, N., Talbi, E.-G.: Parallel local search on gpu. Technical Report RR 6915, INRIA, Lille, France (2009)"},{"issue":"3","key":"28_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s00450-009-0088-2","volume":"23","author":"R. Machado","year":"2009","unstructured":"Machado, R., Lojewski, C.: The Fraunhofer virtual machine: a communication library and runtime system based on the RDMA model. Computer Science-Research and Development\u00a023(3), 125\u2013132 (2009)","journal-title":"Computer Science-Research and Development"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/11889205_26","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"L. Michel","year":"2006","unstructured":"Michel, L., See, A., Van Hentenryck, P.: Distributed constraint-based local search. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 344\u2013358. Springer, Heidelberg (2006)"},{"issue":"1-3","key":"28_CR13","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0004-3702(92)90007-K","volume":"58","author":"S. Minton","year":"1992","unstructured":"Minton, S., Johnston, M.D., Philips, A.B., Laird, P.: Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Artif. Intell.\u00a058(1-3), 161\u2013205 (1992)","journal-title":"Artif. Intell."},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/978-3-642-02777-2_47","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2009","author":"K. Ohmura","year":"2009","unstructured":"Ohmura, K., Ueda, K.: c-sat: A parallel sat solver for clusters. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol.\u00a05584, pp. 524\u2013537. Springer, Heidelberg (2009)"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-60321-2_26","volume-title":"Parallel Algorithms for Irregularly Structured Problems","author":"P.M. Pardalos","year":"1995","unstructured":"Pardalos, P.M., Pitsoulis, L.S., Mavridou, T.D., Resende, M.G.C.: Parallel search for combinatorial optimization: Genetic algorithms, simulated annealing, tabu search and grasp. In: Ferreira, A., Rolim, J.D.P. (eds.) IRREGULAR 1995. LNCS, vol.\u00a0980, pp. 317\u2013331. Springer, Heidelberg (1995)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/978-3-540-48085-3_25","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"L. Perron","year":"1999","unstructured":"Perron, L.: Search procedures and parallelism in constraint programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 346\u2013360. Springer, Heidelberg (1999)"},{"key":"28_CR17","unstructured":"IBM Redbooks. Programming the Cell Broadband Engine Architecture: Examples and Best Practices. Vervante (2008)"},{"key":"28_CR18","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/SAT190068","volume":"6","author":"T. Schubert","year":"2009","unstructured":"Schubert, T., Lewis, M.D.T., Becker, B.: Pamiraxt: Parallel sat solving with threads and message passing. Journal on Satisfiability, Boolean Modeling and Computation\u00a06, 203\u2013222 (2009)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"1","key":"28_CR19","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/BF02430365","volume":"1","author":"M. Verhoeven","year":"1995","unstructured":"Verhoeven, M., Aarts, E.: Parallel local search. Journal of Heuristics\u00a01(1), 43\u201365 (1995)","journal-title":"Journal of Heuristics"},{"issue":"5","key":"28_CR20","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The distributed constraint satisfaction problem: Formalization and algorithms. IEEE Transactions on Knowledge and Data Engineering\u00a010(5), 673\u2013685 (1998)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15211-5_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:48:25Z","timestamp":1619786905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15211-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152108","9783642152115"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15211-5_28","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}