Effective use of discrete optimization solvers in cloud infrastructure on the basis of heuristic decomposition of the initial problem by optimization modeling system AMPL
S. A. Smirnov, V. V. Voloshinov

References
1.	L. D. Popov, “Experience of multilevel parallelizing of the branch and bound method in discrete optimization problems”, Autom. Remote Control, 68:5 (2007), 901–911
2.	E. P. Mancini, S. Marcarelli, I. Vasilyev, U. Villano, “A grid-aware MIP solver: Implementation and case studies”, Future Generation Computer Systems, 24:2 (2008), 133–141
3.	M. R. Bussieck, M. C. Ferris, A. Meeraus, “Grid-enabled optimization with GAMS”, INFORMS Journal on Computing, 21:3 (2009), 349–362
4.	Ye. V. Alekseyeva, Construction of mathematical models of integer linear programming. Examples and problems, NGU, Novosibirsk, 2012, 132 pp. (in Russian)
5.	R. Fourer, D. M. Gay, B. W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, second edition, Duxbury Press/Brooks/Cole Publishing Company, 2002, 538 pp.
6.	J. Kallrath, Algebraic Modeling Systems: Modeling and Solving Real World Optimization Problems, Applied Optimization, 104, Springer Science & Business Media, 2012, 254 pp.
7.	T. Koch, T. Ralphs, Y. Shinano, Could we use a million cores to solve an integer program?, Mathematical Methods of Operations Research, 76:1 (2012), 67–93