Learning algorithm portfolios for parallel execution

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

Volumn 7219 LNCS, Issue , 2012, Pages 323-338

  Yun, Xi ^a   Epstein, Susan L ^a  

^a City College of the City University of New York   (United States)

Author keywords

algorithm portfolio; constraint satisfaction; machine learning; parallel processing

Indexed keywords

CONSTRAINT SATISFACTION; GREEDY ALGORITHMS; PARALLEL EXECUTIONS; PARALLEL PROCESSING;

LEARNING SYSTEMS; OPTIMIZATION;

LEARNING ALGORITHMS;

EID: 84867875750     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34413-8_23     Document Type: Conference Paper

References (32)

1. Gebruers, C., Hnich, B., Bridge, D.G., Freuder, E.C.: Using CBR to Select Solution Strategies in Constraint Programming. In: Muñoz-Ávila, H., Ricci, F. (eds.) ICCBR 2005. LNCS (LNAI), vol. 3620, pp. 222-236. Springer, Heidelberg (2005)
2. Gagliolo, M., Schmidhuber, J.: Learning Dynamic Algorithm Portfolios. Annals of Mathematics and Artificial Intelligence 47(3), 295-328 (2006)
3. Silverthorn, B., Miikkulainen, R.: Latent Class Models for Algorithm Portfolio Methods. In: Twenty-Fourth AAAI Conference on Artificial Intelligence, pp. 167-172 (2010)
4. Stern, D., Herbrich, R., Graepel, T., Samulowitz, H., Pulina, L., Tacchella, A.: Collaborative Expert Portfolio Management. In: Twenty-Fourth AAAI Conference on Artificial Intelligence, pp. 179-184 (2010)
5. Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 712-727. Springer, Heidelberg (2007)
6. O'Mahony, E., Hebrard, E., Holland, A., Nugent, C., O'Sullivan, B.: Using Case-Based Reasoning in an Algorithm Portfolio for Constraint Solving. In: Nineteenth Irish Conference on Artificial Intelligence and Cognitive Science (2008)
7. Streeter, M., Golovin, D., Smith, S.F.: Combing Multiple Heuristics Online. In: the Twenty-second National Conference on Artificial Intelligence, pp. 1197-1203 (2007)
8. Gomes, C., Selman, B., Crato, N.: Heavy-Tail Distributions in Combinatorial Search. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 121-135. Springer, Heidelberg (1997)
9. Huberman, B., Lukose, R., Hogg, T.: An Economics Approach to Hard Computational Problems. Science 256, 51-54 (1997)
10. Gomes, C., Selman, B.: Algorithm Portfolio Design: Theory vs. Practice. In: Thirteenth Conference On Uncertainty in Artificial Intelligence, pp. 190-197. Morgan Kaufmann (1997)
11. Guerri, A., Milano, M.: Learning Techniques for Automatic Algorithm Portfolio Selection. In: Sixteenth European Conference on Artificial Intelligence, pp. 475-479 (2004)
12. Xu, L., Hoos, H.H., Leyton-Brown, K.: Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. In: Twenty-Fourth AAAI Conference on Artificial Intelligence, pp. 179-184 (2010)
13. Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla: Portfolio-Based Algorithm Selection for SAT. Journal of Artificial Intelligence Research 32, 565-606 (2008)
14. Horvitz, E., Ruan, Y., Gomes, C.P., Kautz, H.A., Selman, B., Chickering, D.M.: A Bayesian Approach to Tackling Hard Computational Problems. In: Seventeenth Conference in Uncertainty in Artificial Intelligence, pp. 235-244. Morgan Kaufmann Publishers Inc. (2001) 720234
15. Rice, J.R.: The Algorithm Selection Algorithm. Advances in Computers 15, 65-118 (1976)
16. Gagliolo, M., Schmidhuber, J.: Towards Distributed Algorithm Portoflios. In: International Symposium on Distributed Computing and Artificial Intelligence, pp. 634-643 (2008)
17. Carchrae, T., Beck, J.C.: Low-Knowledge Algorithm Control. In: Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, pp. 49-54. AAAI Press / The MIT Press (2004) 1597158
18. Carchrae, T., Beck, J.C.: Applying Machine Learning to Low-Knowledge Control of Optimization Algorithms. Computational Intelligence 21(4), 372-387 (2005)
19. Bordeaux, L., Hamadi, Y., Samulowitz, H.: Experiments with Massively Parallel Constraint Solving. In: Twenty-First International Joint Conference on Artificial Intelligence, pp. 443-448. Morgan Kaufmann Publishers Inc. (2009) 1661516
20. Singer, D., Monnet, A.: JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) PPAM 2007. LNCS, vol. 4967, pp. 249-258. Springer, Heidelberg (2008)
21. Li, W., van Beek, P.: Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. In: Sixteenth IEEE International Conference on Tools with Artificial Intelligence, pp. 542-548 (2004)
22. Hamadi, Y., Sais, L.: ManySAT: A Parallel SAT Solver. Journal on Satisfiability, Boolean Modeling and Computation 6, 245-262 (2009)
23. CPAI (2008), http://www.cril.univ-artois.fr/CPAI08/
24. Fourth International CSP Solver Competition, http://www.cril.univ-artois. fr/CSC09/
25. The SAT 2007 Competition, http://satcompetition.org/2007/rules07.html
26. Dietterich, T.G.: Ensemble Methods in Machine Learning. In: The First International Workshop on Multiple Classifier Systems, pp. 1-15 (2000)
27. Streeter, M., Golovin, D., Smith, S.F.: Restart Schedules for Ensembles of Problem Instances. In: The Twenty Second National Conference on Artificial Intelligence, pp. 1204- 1210 (2007)
28. Kadioglu, S., Malitsky, Y., Sabharwal, A., Samulowitz, H., Sellmann, M.: Algorithm Selection and Scheduling. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 454-469. Springer, Heidelberg (2011)
29. Segre, A.M., Forman, S., Resta, G., Wildenberg, A.: Nagging: A Scalable Fault-Tolerant Paradigm for Distributed Search. Artificial Intelligence 140, 71-106 (2002)
30. Vander-Swalmen, P., Dequen, G., Krajecki, M.: A Collaborative Approach for Multi- Threaded SAT Solving. International Journal of Parallel Programming 37, 324-342 (2009)
31. Mistral, http://4c.ucc.ie/~ehebrard/Software.html
32. Hutter, F., Hoos, H.H., Leyton-Brown, K., Stützle, T.: Paramils: An Automatic Algorithm Configuration Framework. Journal of Artificial Intelligence Research 36, 267-306 (2009)