Confidence-based work stealing in parallel constraint programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5732 LNCS, Issue , 2009, Pages 226-241

  Chu, Geoffrey ^a   Schulte, Christian ^b   Stuckey, Peter J ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT PROGRAMMING; DEPTH FIRST SEARCH; DYNAMIC LOAD BALANCING; PARALLEL SEARCH; PARALLEL SEARCH ALGORITHM; SEARCH TREES; SOLUTION DENSITY; SUBTREES;

ADAPTIVE ALGORITHMS; CONSTRAINT THEORY; HEURISTIC ALGORITHMS; HEURISTIC METHODS; LEARNING ALGORITHMS; PARALLEL PROGRAMMING;

PARALLEL ALGORITHMS;

EID: 70350393893     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04244-7_20     Document Type: Conference Paper

References (20)

1. Michel, L., See, A., Van Hentenryck, P.: Parallelizing constraint programs transparently. In: [20], pp. 514-528
2. Perron, L.: Search procedures and parallelism in constraint programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 346-361. Springer, Heidelberg (1999)
3. Schulte, C.: Parallel search made simple. In: Beldiceanu, N., Harvey, W., Henz, M., Laburthe, F., Monfroy, E., Müller, T., Perron, L., Schulte, C. (eds.) Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000. Number TRA9/00, 55 Science Drive 2, Singapore 117599, pp. 41-57 (2000)
4. Rolf, C.C., Kuchcinski, K.: Load-balancing methods for parallel and distributed constraint solving. In: IEEE International Conference on Cluster Computing, pp. 304-309 (2008)
5. Kumar, V., Rao, V.N.: Parallel depth first search. Part II. Analysis. International Journal of Parallel Programming 16, 501-519 (1987)
6. Caseau, Y., Laburthe, F.: Solving small TSPs with constraints. In: Naish, L. (ed.) Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, pp. 316-330. The MIT Press, Cambridge (1997)
7. Véron, A., Schuerman, K., Reeve, M., Li, L.L.: Why and how in the ElipSys OR-parallel CLP system. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694, pp. 291-303. Springer, Heidelberg (1993)
8. Rao, V.N., Kumar, V.: Superlinear speedup in parallel state-space search. In: Kumar, S., Nori, K.V. (eds.) FSTTCS 1988. LNCS, vol. 338, pp. 161-174. Springer, Heidelberg (1988)
9. Gendron, B., Crainic, T.G.: Parallel branch-and-bound algorithms: Survey and synthesis. Operations Research 42, 1042-1066 (1994)
10. Quinn, M.J.: Analysis and implementation of branch-and bound algorithms on a hypercube multicomputer. IEEE Trans. Computers 39, 384-387 (1990)
11. Mohan, J.: Performance of Parallel Programs: Model and Analyses. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA, USA (1984)
12. Meseguer, P.: Interleaved depth-first search. In: [19], pp. 1382-1387
13. Harvey, W.D., Ginsberg, M.L.: Limited discrepancy search. In: Mellish, C.S. (ed.) Fourteenth International Joint Conference on Artificial Intelligence, Montréal, Québec, Canada, pp. 607-615. Morgan Kaufmann Publishers, San Francisco (1995)
14. Walsh, T.: Depth-bounded discrepancy search. In: [19], pp. 1388-1395
15. Refalo, P.: Impact-based search strategies for constraint programming. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 557-571. Springer, Heidelberg (2004)
16. Zanarini, A., Pesant, G.: Solution counting algorithms for constraint-centered search heuristics. In: [20], pp. 743-757
17. Szymanek, R., O'Sullivan, B.: Guiding search using constraint-level advice. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI, pp. 158-162. IOS Press, Amsterdam (2006)
18. Gecode Team: Gecode: Generic constraint development environment (2006), http://www.gecode.org
19. Pollack, M.E. (ed.): Fifteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann Publishers, Nagoya (1997)
20. Bessière, C. (ed.): CP 2007. LNCS, vol. 4741. Springer, Heidelberg (2007)