@inproceedings{8395321438694a93bf49ef3a3e40dbfe,
title = "The reformulation-optimization software engine",
abstract = "Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a solution to an optimization problem. In mathematical programming, however, a considerable amount of symbolic transformation is essential to solving difficult optimization problems, e.g. relaxation or decomposition techniques. This step is usually carried out by hand, involves human ingenuity, and often constitutes the {"}theoretical contribution{"} of some research papers. We describe a Reformulation- Optimization Software Engine (ROSE) for performing (automatic) symbolic computation on mathematical programming formulations.",
keywords = "MINLP, reformulation",
author = "Leo Liberti and Sonia Cafieri and David Savourey",
year = "2010",
month = jan,
day = "1",
doi = "10.1007/978-3-642-15582-6\_50",
language = "English",
isbn = "3642155812",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "303--314",
booktitle = "Mathematical Software, ICMS 2010 - Third International Congress on Mathematical Software, Proceedings",
}