Automated configuration of mixed integer programming solvers

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

Volumn 6140 LNCS, Issue , 2010, Pages 186-202

  Hutter, Frank ^a   Hoos, Holger H ^a   Leyton Brown, Kevin ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ALGORITHMS; AUTOMATED CONFIGURATION; AUTOMATED PROCESS; AUTOMATED TUNING; DOMAIN KNOWLEDGE; MIXED INTEGER PROGRAMMING; PARAMETER SETTING; PARAMETERIZED;

AUTOMATION; COMBINATORIAL OPTIMIZATION; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DYNAMIC PROGRAMMING;

INTEGER PROGRAMMING;

EID: 77955439544     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13520-0_23     Document Type: Conference Paper

References (23)

1. Adenso-Diaz, B., Laguna, M.: Fine-tuning of algorithms using fractional experimental design and local search. Operations Research 54(1), 99-114 (2006) (Pubitemid 43296744)
2. Aktürk, S.M., Atamtürk, A., Gürel, S.: A strong conic quadratic reformulation for machine-job assignment with controllable processing times. Research Report BCOL.07.01, University of California-Berkeley (2007)
3. Ansotegui, C., Sellmann, M., Tierney, K.: A gender-based genetic algorithm for the automatic configuration of solvers. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 142-157. Springer, Heidelberg (2009)
4. Atamtürk, A.: On the facets of the mixed-integer knapsack polyhedron. Mathematical Programming 98, 145-175 (2003)
5. Atamtürk, A., Muñoz, J.C.: A study of the lot-sizing polytope. Mathematical Programming 99, 443-465 (2004)
6. Audet, C., Orban, D.: Finding optimal algorithmic parameters using the mesh adaptive direct search algorithm. SIAM Journal on Optimization 17(3), 642-664 (2006)
7. Bartz-Beielstein, T.: Experimental Research in Evolutionary Computation: The New Experimentalism. Natural Computing Series. Springer, Berlin (2006)
8. Birattari, M.: The Problem of Tuning Metaheuristics as Seen from a Machine Learning Perspective. PhD thesis, Université Libre de Bruxelles, Brussels, Belgium (2004)
9. Birattari, M., Stützle, T., Paquete, L., Varrentrapp, K.: A racing algorithm for configuring metaheuristics. In: Proc. of GECCO 2002, pp. 11-18 (2002)
10. Cote,M., Gendron, B., Rousseau, L.: Grammar-based integer programing models for multiactivity shift scheduling. Technical Report CIRRELT-2010-01, Centre interuniversitaire de recherche sur les réseaux d'entreprise, la logistique et le transport (2010)
11. Gomes, C.P., van Hoeve, W.-J., Sabharwal, A.: Connections in networks: A hybrid approach. In: Perron, L., Trick, M.A. (eds.) CPAIOR 2008. LNCS, vol. 5015, pp. 303-307. Springer, Heidelberg (2008)
12. Gratch, J., Chien, S.A.: Adaptive problem-solving for large-scale scheduling problems: A case study. JAIR 4, 365-396 (1996) (Pubitemid 126646158)
13. Huang, D., Allen, T.T., Notz, W.I., Zeng, N.: Global optimization of stochastic black-box systems via sequential kriging meta-models. Journal of Global Optimization 34(3), 441-466 (2006) (Pubitemid 43352177)
14. Hutter, F.: On the potential of automatic algorithm configuration. In: SLS-DS2007: Doctoral Symposium on Engineering Stochastic Local Search Algorithms, pp. 36-40. Technical report TR/IRIDIA/2007-014, IRIDIA, Université Libre de Bruxelles, Brussels, Belgium (2007)
15. Hutter, F.: Automated Configuration of Algorithms for Solving Hard Computational Problems. PhD thesis, University of British Columbia, Department of Computer Science, Vancouver, Canada (2009)
16. Hutter, F., Babić, D., Hoos, H.H., Hu, A.J.: Boosting Verification by Automatic Tuning of Decision Procedures. In: Proc. of FMCAD 2007, Washington, DC, USA, pp. 27-34. IEEE Computer Society, Los Alamitos (2007a)
17. Hutter, F., Hoos, H.H., Leyton-Brown, K., Murphy, K.P.: An experimental investigation of model-based parameter optimisation: SPO and beyond. In: Proc. of GECCO 2009, pp. 271-278 (2009a)
18. Hutter, F., Hoos, H.H., Leyton-Brown, K., Murphy, K.P.: Time-bounded sequential parameter optimization. In: Proc. of LION-4. LNCS. Springer, Heidelberg (to appear, 2010)
19. 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 (2009b)
20. Hutter, F., Hoos, H.H., Stützle, T.: Automatic algorithm configuration based on local search. In: Proc. of AAAI 2007, pp. 1152-1157 (2007b)
21. KhudaBukhsh, A., Xu, L., Hoos, H.H., Leyton-Brown, K.: SATenstein: Automatically building local search SAT solvers from components. In: Proc. of IJCAI 2009, pp. 517-524 (2009)
22. Leyton-Brown, K., Pearson, M., Shoham, Y.: Towards a universal test suite for combinatorial auction algorithms. In: Proc. of EC 2000, pp. 66-76. ACM, New York (2000)
23. Mittelmann, H.:Mixed integer linear programming benchmark, serial codes (2010), http://plato.asu.edu/ftp/milpf.html (version last visited on January 26, 2010)