Transparent parallelization of constraint programming

INFORMS Journal on Computing

Volumn 21, Issue 3, 2009, Pages 363-382

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

^a UNIVERSITY OF CONNECTICUT   (United States)

^b BROWN UNIVERSITY   (United States)

Author keywords

Constraint programming; Distributed computing; Parallel computing; Programming languages

Indexed keywords

EID: 68749092211     PISSN: 10919856     EISSN: 15265528     Source Type: Journal    
DOI: 10.1287/ijoc.1080.0313     Document Type: Article

References (28)

1. Blumhofe R. D., C. E. Leiserson. 1994. Scheduling multithreaded computations by work-stealing. Proc. 35th Annual Sympos. Foundations Comput. Sci. (FOCS'94), Santa Fe, NM, IEEE Computer Society, Washington, DC, 356-368.
2. Carlier J., E. Pinson. 1994. Adjustment of heads and tails for the job-shop problem. Eur. J. Oper. Res. 78(2) 146-161.
3. Chandra R., L. Dagum, D. Kohr, D. Maydan, J. McDonald, R. Menon. 2000. Parallel Programming in OpenMP. Morgan Kaufmann, San Francisco.
4. Choi C. W., M. Henz, K. B. Ng. 2001. Components for state restoration in tree search. Proc. 7th Internat. Conf. Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science, Vol. 2239. Springer-Verlag, Berlin, 240-255.
5. Cilk. 2006. Cilk Reference Manual v. 5.4.6. Supercomputing Technologies Group, MIT Laboratory for Computer Science, Cambridge, MA. http://supertech.lcs. mit.edu/cilk.
6. Dell'Amico, M., M. Trubian. 1993. Applying tabu search to the jobshop scheduling problem. Ann. Oper. Res. 41(1-4) 231-252.
7. Gent I. P., T. Walsh. 1999. CSPLib: A benchmark library for constraints. Proc. Fifth Internat. Conf. Principles and Practice of Constraint Programming (CP'99), Alexandria, VA. Lecture Notes in Computer Science, Vol. 1713. Springer-Verlag, Berlin, 480-481.
8. Hamadi Y. 2003. Disolver: A distributed constraint solver. Technical Report MSR-TR-2003-91, Microsoft Research, Cambridge, UK.
9. Harvey W. D., M. L. Ginsberg. 1995. Limited discrepancy search. Proc. 14th Internat. Joint Conf. Artificial Intelligence. Morgan Kaufmann, San Francisco, 607-613.
10. Intel. 2007. Teraflops research chip. Intel, Santa Clara, CA. http://techresearch.intel.com/articles/Tera-Scale/1449.htm.
11. Lawrence S. 1984. Resource constrained project scheduling: An experimental investigation of heuristic scheduling techniques (supplement). Technical report, Graduate School of Industrial Administration, Tepper School of Business, Carnegie Mellon University, Pittsburgh.
12. Michel L., P. Van Hentenryck. 2004. A decomposition-based implementation of search strategies. ACM Trans. Computational Logic 5(2) 351-383.
13. Michel L., P. Van Hentenryck. 2005. Parallel local search in COMET. Proc. 11th Internat. Conf. Principles and Practice of Constraint Programming (CP-2005), Sitges, Spain. Lecture Notes in Computer Science, Vol. 3709. Springer-Verlag, Berlin, 430-444.
14. Michel L., A. See, P. Van Hentenryck. 2006a. Distributed constraintbased local search. Proc. 12th Internat. Conf. Principles and Practice of Constraint Programming (CP-2006), Nantes, France. Lecture Notes in Computer Science, Vol. 4204. Springer-Verlag, Berlin, 344-358.
15. Michel L., A. See, P. Van Hentenryck. 2006b. High-level nondeterministic abstractions in C++. Proc. 12th Internat. Conf. Principles and Practice of Constraint Programming (CP-2006), Nantes, France. Lecture Notes in Computer Science, Vol. 4204. Springer-Verlag, Berlin, 359-374.
16. Mudambi S., J. Schimpf. 1994. Parallel CLP on heterogeneous networks. Proc. 11th Internat. Conf. Logic Programming, MIT Press, Cambridge, MA, 124-141.
17. Nuijten W. 1994. Time and resource constrained scheduling: A constraint satisfaction approach. Ph. D. thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
18. Perron L. 1999. Search procedures and parallelism in constraint programming. Proc. Fifth Internat. Conf. Principles and Practice of Constraint Programming (CP'99), Alexandria, VA. Lecture Notes in Computer Science, Vol. 1713. Springer-Verlag, Berlin, 346-360.
19. Perron L. 2002. Practical parallelism in constraint programming. N. Jussien, F. Laburthe, eds. Proc. Fourth Internat. Workshop on Integration of AI and OR Techniques in Constraint Programming for Combin. Optimisation Problems (CP-AI-OR'02), Le Croisic, France, 261-275.
20. Schulte C. 1997. Programming constraint inference engines. G. Smolka, ed. Proc. Third Internat. Conf. Principles and Practice of Constraint Programming, Linz, Austria. Lecture Notes in Computer Science, Vol. 1330. Springer-Verlag, Berlin, 519-533.
21. Schulte C. 2000. Parallel search made simple. N. Beldiceanu, W. Harvey, M. Henz, F. Laburthe, E. Monfroy T. Müller, L. Perron, C. Schulte, eds. Proc. TRICS: Techniques foR Implementing Constraint Programming Systems, a Post-Conference Workshop of CP 2000, Singapore. http://web.it.kth.se/schulte/ paper.html?id=Schulte:TRICS:2000.
22. Schulte C., M. Carlsson. 2006. Finite domain constraint programming systems. F. Rossi P. van Beek, T. Walsh, eds. Handbook of Constraint Programming. Foundations of Artificial Intelligence Series. Elsevier Science Publishers, Amsterdam, 495-526.
23. Torres P., P. Lopez. 2000. On not-first/not-last conditions in disjunctive scheduling. Eur. J. Oper. Res. 127(2) 332-343.
24. Van Hentenryck P. 1989. Parallel constraint satisfaction in logic programming: Preliminary results of CHIP within PEPSys. G. Levi, M. Martelli, eds. Proc. Sixth Internat. Conf. Logic Programming, Lisbon, Portugal. MIT Press, Cambridge, MA, 165-180.
25. Van Hentenryck P. 2002. Constraint and integer programming in OPL. INFORMSJ. Comput. 14(4) 345-372.
26. Van Hentenryck P., L. Michel. 2005. Constraint-Based Local Search. MIT Press, Cambridge, MA.
27. Van Hentenryck P., L. Michel. 2006. Nondeterministic control for hybrid search. Constraints 11(4) 353-373.
28. Warren D. H. D. 1987. The SRI model for OR-parallel execution of Prolog: Abstract design and implementation issues. Proc. 4th Sympos. Logic Programming, San Francisco. IEEE Computer Society Press, Los Alamitos, CA, 92-102.