The reformulation-optimization software engine

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

Volumn 6327 LNCS, Issue , 2010, Pages 303-314

  Liberti, Leo ^a   Cafieri, Sonia ^b   Savourey, David ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

^b ENAC   (France)

Author keywords

MINLP; reformulation

Indexed keywords

ENGINES; MATHEMATICAL PROGRAMMING;

DECISION VARIABLES; DECOMPOSITION TECHNIQUE; MINLP; NUMERICAL COMPUTATIONS; OPTIMIZATION PROBLEMS; OPTIMIZATION SOFTWARE; REFORMULATION; SYMBOLIC COMPUTATION;

MATHEMATICAL TRANSFORMATIONS;

EID: 78149257056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15582-6_50     Document Type: Conference Paper

References (31)

1. Fourer, R., Gay, D.: The AMPL Book. Duxbury Press, Pacific Grove (2002)
2. Lougee-Heimer, R.: The common optimization interface for operations research: Promoting open-source software in the operations research community. IBM Journal of Research and Development 47(1), 57-66 (2003)
3. Liberti, L.: Writing global optimization software. In: Liberti, L., Maculan, N. (eds.) Global Optimization: from Theory to Implementation, pp. 211-262. Springer, Berlin (2006)
4. Belotti, P., Lee, J., Liberti, L., Margot, F., Wächter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optimization Methods and Software 24(4), 597-634 (2009)
5. Schichl, H., Neumaier, A.: Interval analysis on directed acyclic graphs for global optimization. Journal of Global Optimization 33(4), 541-562 (2005) (Pubitemid 41690335)
6. Fukuda, K., Prodon, A.: Double description method revisited. In: Deza, M., Manoussakis, I., Euler, R. (eds.) CCS 1995. LNCS, vol. 1120, pp. 91-111. Springer, Heidelberg (1996)
7. Christof, T., Löbel, A.: The porta manual page. Technical Report v. 1.4.0, ZIB, Berlin (1997)
8. Sahinidis, N., Tawarmalani, M.: BARON 7.2.5: Global Optimization of Mixed- Integer Nonlinear Programs, User's Manual (2005)
9. Brook, A., Kendrick, D., Meeraus, A.: GAMS, a user's guide. ACM SIGNUM Newsletter 23(3-4), 10-11 (1988)
10. Orban, D., Fourer, R.: Dr. AMPL: a meta solver for optimization (2004) (Presentation slides)
11. Colombo, M., Grothey, A., Hogg, J., Woodsend, K., Gondzio, J.: A structure-conveying modelling language for mathematical and stochastic programming. Mathematical Programming Computation 1(4), 223-247 (2009)
12. Kucherenko, S., Belotti, P., Liberti, L., Maculan, N.: New formulations for the kissing number problem. Discrete Applied Mathematics 155(14), 1837-1841 (2007)
13. Maculan, N., Michelon, P., MacGregor Smith, J.: Bounds on the kissing numbers in Rn: Mathematical programming formulations. Technical report, University of Massachusetts, Amherst, USA (1996)
14. Gill, P.: User's guide for SNOPT version 7. Systems Optimization Laboratory, Stanford University, California (2006)
15. Liberti, L.: Symmetry in mathematical programming. In: Lee, J., Leyffer, S. (eds.) Mixed Integer Nonlinear Programming, vol. IMA, Springer, New York (accepted)
16. Bachoc, C., Vallentin, F.: New upper bounds for kissing numbers from semidefinite programming. Journal of the American Mathematical Society 21, 909-924 (2008)
17. Liberti, L.: Reformulations in mathematical programming: Definitions and systematics. RAIRO-RO 43(1), 55-86 (2009)
18. Liberti, L., Cafieri, S., Tarissan, F.: Reformulations in mathematical programming: A computational approach. In: Abraham, A., Hassanien, A.E., Siarry, P., Engelbrecht, A. (eds.) Foundations of Computational Intelligence. SCI, vol. 3, 203, pp. 153-234. Springer, Berlin (2009)
19. Fortet, R.: Applications de l'algèbre de Boole en recherche opérationelle. Revue Française de Recherche Opérationelle 4, 17-26 (1960)
20. Smith, E., Pantelides, C.: A symbolic reformulation/spatial branch-and-bound algorithm for the global optimisation of nonconvex MINLPs. Computers & Chemical Engineering 23, 457-478 (1999) (Pubitemid 29210308)
21. D'Ambrosio, C., Frangioni, A., Liberti, L., Lodi, A.: Experiments with a feasibility pump approach for nonconvex MINLPs. In: Festa, P. (ed.) Experimental Algorithms. LNCS, vol. 6049, pp. 350-360. Springer, Heidelberg (2010)
22. Fischetti, M., Lodi, A.: Local branching. Mathematical Programming 98, 23-37 (2005)
23. McKay, B.: Nauty User's Guide (Version 2.4). Computer Science Dept., Australian National University (2007)
24. The GAP Group: GAP - Groups, Algorithms, and Programming, Version 4.4.10 (2007)
25. Liberti, L.: Spherical cuts for integer programming problems. International Transactions in Operational Research 15, 283-294 (2008)
26. Cafieri, S., Lee, J., Liberti, L.: Comparison of convex relaxations of quadrilinear terms. In: Ma, C., Yu, L., Zhang, D., Zhou, Z. (eds.) Global Optimization: Theory, Methods and Applications I. Lecture Notes in Decision Sciences, vol. 12(B), pp. 999-1005. Global-Link Publishers, Hong Kong (2009)
27. Cafieri, S., Lee, J., Liberti, L.: On convex relaxations of quadrilinear terms. Journal of Global Optimization, doi: 10.1007/s10898-009-9484-1
28. Liberti, L.: Reformulations in mathematical programming: Automatic symmetry detection and exploitation. Mathematical Programming, doi: 10.1007/s10107-010-0351-0
29. Costa, A., Hansen, P., Liberti, L.: Formulation symmetries in circle packing. In: Mahjoub, R. (ed.) Proceedings of the International Symposium on Combinatorial Optimization. Electronic Notes in Discrete Mathematics. Elsevier, Amsterdam (accepted)
30. Costa, A., Hansen, P., Liberti, L.: Static symmetry breaking in circle packing. In: Faigle, U. (ed.) Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, University of Köln (2010)
31. Liberti, L., Mladenović, N., Nannicini, G.: A good recipe for solving MINLPs. In: Maniezzo, V., Stützle, T., Voß, S. (eds.) Hybridizing metaheuristics and mathematical programming. Annals of Information Systems, vol. 10, pp. 231-244. Springer, New York (2009)