Parallelizing constraint programs transparently

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

Volumn 4741 LNCS, Issue , 2007, Pages 514-528

  Michel, Laurent ^a   See, Andrew ^a   Van Hentenryck, Pascal ^b  

^a UNIVERSITY OF CONNECTICUT   (United States)

^b BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

CONSTRAINT PROGRAMMING; MULTICORE MACHINES;

MULTIPROCESSING SYSTEMS;

EID: 38149058322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74970-7_37     Document Type: Conference Paper

References (14)

1. Blumhofe, R.D., Leiserson, C.E.: Scheduling Multithreaded Computations by Work Stealing. In: FOCS '94 (1994)
2. Choi, C.W., Henz, M., Ng, K.B.: Components for State Restoration in Tree Search. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239. Springer, Heidelberg (2001)
3. Intel Corp.: Teraflops research chip (2007)
4. Michel, L., Van Hentenryck, P.: A Decomposition-Based Implementation of Search Strategies. ACM Transactions on Computational Logic 5(2) (2004)
5. Michel, L., Van Hentenryck, P.: Parallel Local Search in Comet. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709. Springer, Heidelberg (2005)
6. Mudambi, S., Schimpf, J.: Parallel CLP on Heterogeneous Networks. In: ICLP-94 (1994)
7. Perron, L.: Search Procedures and Parallelism in Constraint Programming. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming - CP'99. LNCS, vol. 1713. Springer, Heidelberg (1999)
8. Perron, L.: Practical Parallelism in Constraint Programming. In: CP-AI-OR'02 (2002)
9. Schulte, C.: Programming Constraint Inference Engines. In: Smolka, G. (ed.) Principles and Practice of Constraint Programming - CP97. LNCS, vol. 1330. Springer, Heidelberg (1997)
10. Schulte, C.: Parallel Search Made Simple. In: TRICS'2000 (2000)
11. Schulte, C., Carlsson, M.: Finite Domain Constraint Programming Systems. In: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
12. Van Hentenryck, P.: Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. In: ICLP'89 (1989)
13. Van Hentenryck, P., Michel, L.: Nondeterministic Control for Hybrid Search. In: CP-AI-OR'05 (2005)
14. Warren, D.H.D.: The SRI Model for Or-Parallel Execution of Prolog. Abstract Design and Implementation Issues. In: ISLP-87 (1987)