{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:04:49Z","timestamp":1743044689031,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319002927"},{"type":"electronic","value":"9783319002934"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00293-4_10","type":"book-chapter","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T11:27:27Z","timestamp":1363951647000},"page":"117-127","source":"Crossref","is-referenced-by-count":8,"title":["Partitioning Methods to Parallelize Constraint Programming Solver Using the Parallel Framework Bobpp"],"prefix":"10.1007","author":[{"given":"Tarek","family":"Menouer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Le Cun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Vander-Swalmen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Anstreicher, K., Brixius, N., Goux, J.-P., Linderoth, J.: Solving large quadratic assignment problems on computational grids (2000)","key":"10_CR1"},{"unstructured":"Bertrand Le Cun, P.V.-S., Menouer, T.: Bobpp, \n                      http:\/\/forge.prism.uvsq.fr\/projects\/bobpp","key":"10_CR2"},{"issue":"06","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1287\/opre.42.6.1042","volume":"42","author":"B. Gendron","year":"1994","unstructured":"Gendron, B., Crainic, T.G.: Parallel branch-and-bound algorithms: Survey and synthesis. Operational Research\u00a042(06), 1042\u20131066 (1994)","journal-title":"Operational Research"},{"unstructured":"Cung, V.-D., Dowaji, S., Le, C.B., Mautor, T., Roucairol, C.: Concurrent data structures and load balancing strategies for parallel branch-and-bound \/ a* algorithms. In: III Annual Implementation Challenge Workshop, DIMACS, New Brunswick, USA (October 1994)","key":"10_CR4"},{"doi-asserted-by":"crossref","unstructured":"Miller, D.L., Pekny, J.F.: Results from a parallel branch and bound algorithm for the asymmetric traveling salesman problem. Technical report, Carnegie Mellon University, PITTSBURGH, PA 15212 (1989)","key":"10_CR5","DOI":"10.1016\/0167-6377(89)90038-2"},{"unstructured":"Eckstein, J., Phillips, C.A., Hart, W.E.: PEBBL 1.0 User Guide. RRR 19-2006, RUTCOR (August 2006)","key":"10_CR6"},{"doi-asserted-by":"crossref","unstructured":"Feldmann, R.: Game Tree Search on Massively Parallel Systems. PhD thesis, Department of mathematics and computer science, University of Paderborn, Germany (August 1993)","key":"10_CR7","DOI":"10.1007\/3-540-55488-2_32"},{"issue":"02","key":"10_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/22719.24067","volume":"9","author":"R. Finkel","year":"1987","unstructured":"Finkel, R., Manber, U.: Dib- a distributed implementation of backtracking. ACM, Transaction on Programming Languages and Systems\u00a09(02), 235\u2013256 (1987)","journal-title":"ACM, Transaction on Programming Languages and Systems"},{"unstructured":"Galea, F., Le Cun, B.: Bob++: a framework for exact combinatorial optimization methods on parallel machines. In: International Conference High Performance Computing & Simulation 2007 (HPCS 2007) and in conjunction with The 21st European Conference on Modeling and Simulation (ECMS 2007), pp. 779\u2013785 (June 2007)","key":"10_CR9"},{"doi-asserted-by":"crossref","unstructured":"Eckstein, J., Phillips, C.A., Hart, W.E.: PICO: An object-oriented framework for parallel branch and bound. In: Scientific, E. (ed.) Proceedings of the Workshop on Inherently Parallel Algorithms in Optimization and Feasibility and their Applications. Studies in Computational Mathematics, pp. 219\u2013265 (2001)","key":"10_CR10","DOI":"10.1016\/S1570-579X(01)80014-8"},{"unstructured":"Kumar, V., Ramesh, K., Rao, V.N.: Parallel best-first search of state-space graphs\u00a0: A summary of results. In: The AAAI Conference, pp. 122\u2013127 (1987)","key":"10_CR11"},{"issue":"10","key":"10_CR12","doi-asserted-by":"publisher","first-page":"962","DOI":"10.1109\/TC.1985.6312201","volume":"C-34","author":"T. Lai","year":"1985","unstructured":"Lai, T., Sprague, A.: Performance of parallel branch-and-bound algorithms. IEEE Transactions On Computers\u00a0C-34(10), 962\u2013964 (1985)","journal-title":"IEEE Transactions On Computers"},{"doi-asserted-by":"crossref","unstructured":"Le Cun, B., Roucairol, C.: Concurrent data structures for tree search algorithms. In: Ferreira, K.A.A., Rolim, J. (eds.) IFIP WG 10.3, IRREGULAR 1994: Parallel Algorithms for Irregular Structured Problems, pp. 135\u2013155 (September 1994)","key":"10_CR13","DOI":"10.1007\/978-1-4757-6130-6_7"},{"unstructured":"Le\u00a0Cun, B., Roucairol, C., the PNN team. Bob: a unified platform for implementing branch-and-bound like algorithms. RR 95\/16, Laboratoire PRiSM, Universit\u00e9 de Versailles - Saint Quentin en Yvelines (September 1995)","key":"10_CR14"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1287\/ijoc.1080.0313","volume":"21","author":"L. Michel","year":"2009","unstructured":"Michel, L., See, A., Van Hentenryck, P.: Transparent parallelization of constraint programming. Informs Journal on Computing\u00a021(3), 363\u2013382 (2009)","journal-title":"Informs Journal on Computing"},{"unstructured":"van Omme, V.F.N., Perron, L.: Or-tools. Technical report, Google (2012)","key":"10_CR16"},{"unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Moore, N.C., Nightingale, P., Prosser, P., Unsworth, C.: A preliminary review of literature on parallel constraint solving. In: Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving (2011)","key":"10_CR17"},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1023\/B:SUPE.0000020179.55383.ad","volume":"28","author":"T. Ralphs","year":"2004","unstructured":"Ralphs, T., Lad\u00e1nyi, L., Saltzman, M.: A Library Hierarchy for Implementing Scalable Parallel Search algorithms. The Journal of Supercomputing\u00a028(2), 215\u2013234 (2004)","journal-title":"The Journal of Supercomputing"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45586-8_6","volume-title":"Computational Combinatorial Optimization","author":"L. Lad\u00e1nyi","year":"2001","unstructured":"Lad\u00e1nyi, L., Ralphs, T.K., Trotter Jr., L.E.: Branch, cut, and price: Sequential and parallel. In: J\u00fcnger, M., Naddef, D. (eds.) Computat. Comb. Optimization. LNCS, vol.\u00a02241, pp. 223\u2013260. Springer, Heidelberg (2001)"},{"unstructured":"Rolf, C.C.: Parallelism in Constraint Programming. PhD thesis, Department of Computer Science, Lund University (October 2011)","key":"10_CR20"},{"key":"10_CR21","volume-title":"Advances in Computational Economics","author":"M.J. Saltzman","year":"2002","unstructured":"Saltzman, M.J.: COIN-OR: An Open Source Library for optimization. In: Advances in Computational Economics. Kluwer, Boston (2002)"},{"doi-asserted-by":"crossref","unstructured":"Shinano, Y., Higaki, M., Hirabayashi, R.: An Interface Design for General Parallel Branch-and-Bound Algorithms. In: Workshop on Parallel Algorithms for Irregularly Structured Problems, pp. 277\u2013284 (1996)","key":"10_CR22","DOI":"10.1007\/BFb0030117"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1109\/SPDP.1995.530710","volume-title":"Proceedings of the 1995 Seventh Symposium on Parallel and Distributed Processing","author":"Y. Shinano","year":"1995","unstructured":"Shinano, Y., Higari, M., Hirabayashi, R.: Generalized utility for parallel branch-and-bound algorithms. In: Proceedings of the 1995 Seventh Symposium on Parallel and Distributed Processing, pp. 392\u2013401. IEEE Computer Society Press, Los Alamitos (1995)"},{"doi-asserted-by":"crossref","unstructured":"Ralphs, T.K., Lad\u00e1nyi, L., Saltzman, M.: Parallel Branch, Cut, and Price for Large-scale Discrete Optimization. Mathematical Programming\u00a098(253) (2003)","key":"10_CR24","DOI":"10.1007\/s10107-003-0404-8"},{"unstructured":"Tschoke, S., Polzer, T.: Portable parallel branch-and-bound library user manual, library version 2.0. Technical report, Department of Computer Sciences, University of Paderborn (1996)","key":"10_CR25"},{"unstructured":"Vander-Swalmen, P., Dequen, G., Krajecki, M.: Designing a parallel collaborative sat solver. In: 17th International Conference on Parallel and Distributed Processing Techniques and Applications, USA, CSREA Press (2011)","key":"10_CR26"},{"unstructured":"Wetzel, G., Zabatta, F.: A constraint programming approach to portfolio selection. In: Proceeding of the 13th Biennial European Conference on Artificial Intelligence, pp. 263\u2013264 (1998)","key":"10_CR27"},{"unstructured":"Xu, Y., Ralphs, T., Lad\u00e1nyi, L., Saltzman, M.: ALPS: A Framework for Implementing Parallel Search Algorithms. In: Proceedings of the Ninth INFORMS Computing Society Conference (2005)","key":"10_CR28"}],"container-title":["Studies in Computational Intelligence","Advanced Computational Methods for Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00293-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T09:57:21Z","timestamp":1674122241000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00293-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319002927","9783319002934"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00293-4_10","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2013]]}}}