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 -