TY - JOUR
T1 - DrAmpl
T2 - A meta solver for optimization problem analysis
AU - Fourer, R.
AU - Orban, Dominique
N1 - Funding Information:
Research partially supported by National Science Foundation Grants 03-22580 and 08-00662 and NSERC Discovery Grant 299010-04.
PY - 2010
Y1 - 2010
N2 - Optimization problems modeled in the AMPL modeling language (Fourer et al., in AMPL: a modeling language for mathematical programming, 2002) may be examined by a set of tools found in the AMPL Solver Library (Gay, in Hooking your solver to AMPL, 1997). DrAmpl is a meta solver which, by use of the AMPL Solver Library, dissects such optimization problems, obtains statistics on their data, is able to symbolically prove or numerically disprove convexity of the functions involved and provides aid in the decision for an appropriate solver. A problem is associated with a number of relevant solvers available on the NEOS Server for Optimization (Czyzyk et al., in IEEE J Comput Sci Eng 5:68-75, 1998) by means of a relational database. We describe the need for such a tool, the design of DrAmpl and some of its consequences, and keep in mind that a similar tool could be developed for other algebraic modeling languages.
AB - Optimization problems modeled in the AMPL modeling language (Fourer et al., in AMPL: a modeling language for mathematical programming, 2002) may be examined by a set of tools found in the AMPL Solver Library (Gay, in Hooking your solver to AMPL, 1997). DrAmpl is a meta solver which, by use of the AMPL Solver Library, dissects such optimization problems, obtains statistics on their data, is able to symbolically prove or numerically disprove convexity of the functions involved and provides aid in the decision for an appropriate solver. A problem is associated with a number of relevant solvers available on the NEOS Server for Optimization (Czyzyk et al., in IEEE J Comput Sci Eng 5:68-75, 1998) by means of a relational database. We describe the need for such a tool, the design of DrAmpl and some of its consequences, and keep in mind that a similar tool could be developed for other algebraic modeling languages.
KW - AMPL modeling language
KW - Convexity assessment
KW - Directed acyclic graph
KW - Optimization model
KW - Solver recommendation
KW - Structural model analysis
UR - http://www.scopus.com/inward/record.url?scp=77956436605&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956436605&partnerID=8YFLogxK
U2 - 10.1007/s10287-009-0101-z
DO - 10.1007/s10287-009-0101-z
M3 - Article
AN - SCOPUS:77956436605
SN - 1619-697X
VL - 7
SP - 437
EP - 463
JO - Computational Management Science
JF - Computational Management Science
IS - 4
ER -