TY - GEN
T1 - Algebraic, logical and network representations in the design of software for combinatorial optimization
AU - Coullard, C.
AU - Fourer, R.
N1 - Publisher Copyright:
© 1996 IEEE.
PY - 1996
Y1 - 1996
N2 - We survey three problem representations that are popularly applied in combinatorial optimization: algebraic modeling languages, constraint logic programming languages, and network diagrams. After first describing the kinds of optimization methods and systems most commonly associated with these alternatives, we consider how each representation has been advantageous and how its advantages have come to influence (or ought to influence) the design of the others. We focus especially on the possibility that general-purpose system designs, which are highly successful in other areas, might be extended to combinatorial optimization.
AB - We survey three problem representations that are popularly applied in combinatorial optimization: algebraic modeling languages, constraint logic programming languages, and network diagrams. After first describing the kinds of optimization methods and systems most commonly associated with these alternatives, we consider how each representation has been advantageous and how its advantages have come to influence (or ought to influence) the design of the others. We focus especially on the possibility that general-purpose system designs, which are highly successful in other areas, might be extended to combinatorial optimization.
UR - http://www.scopus.com/inward/record.url?scp=85067913321&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85067913321&partnerID=8YFLogxK
U2 - 10.1109/HICSS.1996.495425
DO - 10.1109/HICSS.1996.495425
M3 - Conference contribution
AN - SCOPUS:85067913321
T3 - Proceedings of the Annual Hawaii International Conference on System Sciences
SP - 407
EP - 416
BT - Information Systems - Decision Support and Knowledge-Based Systems
PB - IEEE Computer Society
T2 - 29th Hawaii International Conference on System Sciences, HICSS 1996
Y2 - 3 January 1996 through 6 January 1996
ER -