{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:30Z","timestamp":1747548330319},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Optim Applic"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf00248011","type":"journal-article","created":{"date-parts":[[2004,9,17]],"date-time":"2004-09-17T23:19:52Z","timestamp":1095463192000},"page":"83-116","source":"Crossref","is-referenced-by-count":8,"title":["New constructs for the description of combinatorial optimization problems in algebraic modeling languages"],"prefix":"10.1007","volume":"6","author":[{"given":"J. J.","family":"Bisschop","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Fourer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00248011_CR1","first-page":"447","volume-title":"OR 69: Proceedings of the Fifth International Conference on Operational Research","author":"E.M.L. Beale","year":"1970","unstructured":"E.M.L. Beale and J.A. Tomlin, \u201cSpecial facilities in a general mathematical programming system for nonconvex problems using ordered sets of variables,\u201d in OR 69: Proceedings of the Fifth International Conference on Operational Research (J. Lawrence, Ed.), Tavistock Publications: London, pp. 447\u2013454, 1970."},{"key":"BF00248011_CR2","volume-title":"AIMMS: The modeling system","author":"J.J. Bisschop","year":"1993","unstructured":"J.J. Bisschop and R. Entriken, \u201cAIMMS: The modeling system,\u201d Paragon Decision Technology, Haarlem, The Netherlands, 1993."},{"key":"BF00248011_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0121223","volume":"20","author":"J.J. Bisschop","year":"1982","unstructured":"J.J. Bisschop and A. Meeraus, \u201cOn the development of a general algebraic modeling system in a strategic planning environment,\u201d Mathematical Programming Study, vol. 20, pp. 1\u201329, 1982.","journal-title":"Mathematical Programming Study"},{"key":"BF00248011_CR4","volume-title":"GAMS: A User's Guide","author":"A. Brooke","year":"1992","unstructured":"A. Brooke, D. Kendrick, and A. Meeraus, GAMS: A User's Guide, release 2.25, Boyd & Fraser\/The Scientific Press: Danvers, MA, 1992."},{"key":"BF00248011_CR5","unstructured":"Chesapeake Decision Sciences, MIMI\/LP User's Manual, New Providence, NJ, 1992."},{"key":"BF00248011_CR6","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer, \u201cAn introduction to prolog III,\u201d Communications of the ACM, vol. 33, pp. 69\u201390, 1990.","journal-title":"Communications of the ACM"},{"key":"BF00248011_CR7","unstructured":"CPLEX Optimization, Inc., Using the CPLEX Callable Library, version 3.0, Incline Village, NV, 1994."},{"key":"BF00248011_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dinchas","year":"1990","unstructured":"M. Dinchas, H. Simonis, and P.Van Hentenryck, \u201cSolving large combinatorial problems in logic programming,\u201d Journal of Logic Programming, vol. 8, pp. 75\u201393, 1990.","journal-title":"Journal of Logic Programming"},{"key":"BF00248011_CR9","series-title":"Mathematical Programming Technical Report 94-12","volume-title":"Robust solution of mixed complementarity problems","author":"S.P. Dirkse","year":"1994","unstructured":"S.P. Dirkse, \u201cRobust solution of mixed complementarity problems,\u201d Mathematical Programming Technical Report 94\u201312, University of Wisconsin, Madison, 1994."},{"key":"BF00248011_CR10","series-title":"Mathematical Programming Technical Report 94-07","volume-title":"The GAMS callable program library for variational and complementarity solvers","author":"S.P. Dirkse","year":"1994","unstructured":"S.P. Dirkse, M.C. Ferris, P.V. Preckel, and T. Rutherford, \u201cThe GAMS callable program library for variational and complementarity solvers,\u201d Mathematical Programming Technical Report 94\u201307, University of Wisconsin, Madison, 1994."},{"key":"BF00248011_CR11","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1287\/ijoc.7.2.166","volume":"7","author":"R. Fourer","year":"1995","unstructured":"R. Fourer and D.M. Gay, \u201cExpressing special structures in an algebraic modeling language for mathematical programming,\u201d ORSA Journal on Computing, vol. 7, pp. 166\u2013190, 1995.","journal-title":"ORSA Journal on Computing"},{"key":"BF00248011_CR12","unstructured":"R. Fourer and D.M. Gay, \u201cIntegrating programming features with an algebraic modeling language for optimization,\u201d RD17.3, 15th International Symposium on Mathematical Programming, Ann Arbor, 1994; also MC27.1, ORSA\/TIMS Joint National Meeting, Detroit, 1994."},{"key":"BF00248011_CR13","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1287\/mnsc.36.5.519","volume":"36","author":"R. Fourer","year":"1990","unstructured":"R. Fourer, D.M. Gay, and B.W. Kernighan, \u201cA modeling language for mathematical programming,\u201d Management Science, vol. 36, pp. 519\u2013554, 1990.","journal-title":"Management Science"},{"key":"BF00248011_CR14","volume-title":"AMPL: A Modeling Language for Mathematical Programming","author":"R. Fourer","year":"1992","unstructured":"R. Fourer, D.M. Gay, and B.W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, Boyd & Fraser\/The Scientific Press: Danvers, MA, 1992."},{"issue":"no. 4","key":"BF00248011_CR15","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1287\/inte.20.4.7","volume":"20","author":"F. Glover","year":"1990","unstructured":"F. Glover, D. Klingman, and N.V. Phillips, \u201cNetform modeling and applications,\u201d Interfaces, vol. 20, no. 4, pp. 7\u201327, 1990.","journal-title":"Interfaces"},{"key":"BF00248011_CR16","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033173","volume-title":"Network Models in Optimization and their Applications in Practice","author":"F. Glover","year":"1992","unstructured":"F. Glover, D. Klingman, and N.V. Phillips, Network Models in Optimization and their Applications in Practice, John Wiley & Sons: New York, 1992."},{"key":"BF00248011_CR17","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF02283655","volume":"38","author":"H.J. Greenberg","year":"1992","unstructured":"H.J. Greenberg, \u201cMODLER: Modeling by object-driven linear elemental relations,\u201d Annals of Operations Research, vol. 38, pp. 239\u2013280, 1992.","journal-title":"Annals of Operations Research"},{"key":"BF00248011_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3168-5","volume-title":"Modeling by Object-Driven Linear Elemental Relations: A User's Guide for MODLER","author":"H.J. Greenberg","year":"1993","unstructured":"H.J. Greenberg, Modeling by Object-Driven Linear Elemental Relations: A User's Guide for MODLER, Kluwer Academic Publishers: Boston, MA, 1993."},{"key":"BF00248011_CR19","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1287\/mnsc.35.3.367","volume":"35","author":"P. Hansen","year":"1989","unstructured":"P. Hansen and J. Hug\u00e9, \u201cImplicit treatment of zero or range, constraints in a model for minimum cost foundry alloys,\u201d Management Science, vol. 35, pp. 367\u2013371, 1989.","journal-title":"Management Science"},{"key":"BF00248011_CR20","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1287\/ijoc.6.4.423","volume":"6","author":"F. Harche","year":"1994","unstructured":"F. Harche, J.N. Hooker, and G.L. Thompson, \u201cA computational study of satisfiability algorithms for propositional logic,\u201d ORSA Journal on Computing, vol. 6, pp. 423\u2013435, 1994.","journal-title":"ORSA Journal on Computing"},{"issue":"no. 2","key":"BF00248011_CR21","first-page":"4","volume":"15","author":"J.N. Hooker","year":"1994","unstructured":"J.N. Hooker, \u201cLogic-based methods for optimization,\u201d Operations Research Society of America Computer Science Technical Section Newsletter, vol. 15, no. 2, pp. 4\u201311, 1994.","journal-title":"Operations Research Society of America Computer Science Technical Section Newsletter"},{"key":"BF00248011_CR22","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0305-0548(94)90089-2","volume":"21","author":"J.N. Hooker","year":"1994","unstructured":"J.N. Hooker, H. Yan, I.E. Grossmann, and R. Raman, \u201cLogic cuts for processing networks with fixed costs,\u201d Computers and Operations Research, vol. 21, pp. 265\u2013279, 1994.","journal-title":"Computers and Operations Research"},{"key":"BF00248011_CR23","volume-title":"Optimization with IBM OSL","author":"M.S. Hung","year":"1994","unstructured":"M.S. Hung, W.O. Rom, and A.D. Waren, Optimization with IBM OSL, Boyd & Fraser Publishing Company: Danvers, MA, 1994."},{"key":"BF00248011_CR24","unstructured":"T. H\u00fcrlimann, \u201cIP, MIP, and logical modeling using LPL,\u201d Working Paper No. 205, Institute of Informatics, University of Fribourg, March 1994, updated November 1994."},{"key":"BF00248011_CR25","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1287\/ijoc.2.2.136","volume":"2","author":"C.V. Jones","year":"1990","unstructured":"C.V. Jones, \u201cAn introduction to graph-based modeling systems, Part I: overview,\u201d ORSA Journal on Computing, vol. 2, pp. 136\u2013151, 1990.","journal-title":"ORSA Journal on Computing"},{"key":"BF00248011_CR26","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1287\/ijoc.3.3.180","volume":"3","author":"C.V. Jones","year":"1991","unstructured":"C.V. Jones, \u201cAn introduction to graph-based modeling systems, Part II: Graph grammars and the implementation,\u201d ORSA Journal on Computing, vol. 3, pp. 180\u2013206, 1991.","journal-title":"ORSA Journal on Computing"},{"key":"BF00248011_CR27","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF02283656","volume":"38","author":"C.V. Jones","year":"1992","unstructured":"C.V. Jones, \u201cAttributed graphs, graph-grammars and structured modeling,\u201d Annals of Operations Research, vol. 38, pp. 281\u2013324, 1992.","journal-title":"Annals of Operations Research"},{"key":"BF00248011_CR28","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0167-9236(93)90063-9","volume":"10","author":"C.V. Jones","year":"1993","unstructured":"C.V. Jones, \u201cAn integrated modeling environment based on attributed graphs and graph-grammars,\u201d Decision Support Systems, vol. 10, pp. 255\u2013275, 1993.","journal-title":"Decision Support Systems"},{"key":"BF00248011_CR29","series-title":"Technical Report","volume-title":"Graph-grammars for minimum cost network flow modeling","author":"C.V. Jones","year":"1992","unstructured":"C.V. Jones and K. D'Souza, \u201cGraph-grammars for minimum cost network flow modeling,\u201d Technical Report, Faculty of Business Administration, Simon Fraser University, Burnaby, BC, 1992."},{"key":"BF00248011_CR30","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0957-4174(90)90047-X","volume":"1","author":"D.A. Kendrick","year":"1990","unstructured":"D.A. Kendrick, \u201cParallel model representations,\u201d Expert Systems With Applications, vol. 1, pp. 383\u2013389, 1990.","journal-title":"Expert Systems With Applications"},{"key":"BF00248011_CR31","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF02116005","volume":"4","author":"D.A. Kendrick","year":"1991","unstructured":"D.A. Kendrick, \u201cA graphical interface for production and transportation system modeling: PTS,\u201d Computer Science in Economics and Management, vol. 4, pp. 229\u2013236, 1991.","journal-title":"Computer Science in Economics and Management"},{"key":"BF00248011_CR32","volume-title":"MPL modelling system user manual","author":"B. Kristjansson","year":"1993","unstructured":"B. Kristjansson, \u201cMPL modelling system user manual,\u201d Version 2.8, Maximal Software Inc., Arlington, VA, 1993."},{"key":"BF00248011_CR33","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"Jean-Louis Lauriere","year":"1978","unstructured":"Jean-Louis Lauriere, \u201cA language and a program for stating and solving combinatorial problems,\u201d Artificial Intelligence, vol. 10, pp. 29\u2013127, 1978.","journal-title":"Artificial Intelligence"},{"key":"BF00248011_CR34","unstructured":"Lindo Systems Inc., \u201cLINGO optimization modeling language,\u201d Chicago, IL, 1994."},{"key":"BF00248011_CR35","first-page":"99","volume-title":"Principles and Practice of Constraint Programming","author":"K. McAloon","year":"1995","unstructured":"K. McAloon and C. Tretkoff, \u201c2LP: Linear programming and logic programming,\u201d in Principles and Practice of Constraint Programming (V. Saraswat and P.Van Hentenryck, Eds.), The MIT Press: Cambridge MA, pp. 99\u2013114, 1995."},{"key":"BF00248011_CR36","series-title":"Technical Report","volume-title":"NETSYS\u2014A generalized network modeling system","author":"R.D. McBride","year":"1988","unstructured":"R.D. McBride, \u201cNETSYS\u2014A generalized network modeling system,\u201d Technical Report, University of Southern California, Los Angeles, CA, 1988."},{"key":"BF00248011_CR37","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1016\/0377-2217(94)90308-5","volume":"72","author":"G. Mitra","year":"1994","unstructured":"G. Mitra, C. Lucas, S. Moody, and E. Hadjiconstantinou, \u201cTools for reformulating logical forms into zero-one mixed integer programs,\u201d European Journal of Operational Research, vol. 72, pp. 262\u2013276, 1994.","journal-title":"European Journal of Operational Research"},{"key":"BF00248011_CR38","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/0167-6377(94)90013-2","volume":"15","author":"G.L. Nemhauser","year":"1994","unstructured":"G.L. Nemhauser, M.W.P. Savelsbergh, and G.L. Sigismondi, \u201cMINTO, a mixed integer optimizer,\u201d Operations Research Letters, vol. 15, pp. 48\u201359, 1994.","journal-title":"Operations Research Letters"},{"key":"BF00248011_CR39","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1016\/0305-0548(92)90033-2","volume":"19","author":"W. Ogryczak","year":"1992","unstructured":"W. Ogryczak, K. Studzi\u0144ski, and K. Zorychta, \u201cDINAS: A computer-assisted analysis system for multiobjective transshipment problems with facility location,\u201d Computers and Operations Research, vol. 19, pp. 637\u2013647, 1992.","journal-title":"Computers and Operations Research"},{"key":"BF00248011_CR40","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/B978-0-08-040806-4.50019-8","volume-title":"Computer Science and Operations Research: New Developments in their Interfaces","author":"W. Ogryczak","year":"1992","unstructured":"W. Ogryczak, K. Studzi\u0144ski, and K. Zorychta, \u201cEDINET\u2014A network editor for transshipment problems with facility location,\u201d in Computer Science and Operations Research: New Developments in their Interfaces (O. Balci, R. Sharda, and S.A. Zenios, Eds.), Pergamon Press: New York, pp.197\u2013212, 1992."},{"key":"BF00248011_CR41","doi-asserted-by":"crossref","first-page":"1299","DOI":"10.1016\/0165-1889(94)00831-2","volume":"19","author":"T.F. Rutherford","year":"1995","unstructured":"T.F. Rutherford, \u201cExtensions of GAMS for complementarity problems arising in applied economic analysis,\u201d Journal of Economic Dynamics and Control, vol. 19, pp. 1299\u20131324, 1995.","journal-title":"Journal of Economic Dynamics and Control"},{"key":"BF00248011_CR42","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/B978-0-08-040806-4.50020-4","volume-title":"Computer Science and Operations Research: New Developments in their Interfaces","author":"D. Steiger","year":"1992","unstructured":"D. Steiger, R. Sharda, and B. Leclaire, \u201cFunctional description of a graph-based interface for network modeling (GIN),\u201d in Computer Science and Operations Research: New Developments in their Interfaces (O. Balci, R. Sharda, and S.A. Zenios, Eds.), Pergamon Press: New York, pp. 213\u2013229, 1992."},{"key":"BF00248011_CR43","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1287\/ijoc.5.3.275","volume":"5","author":"D. Steiger","year":"1993","unstructured":"D. Steiger, R. Sharda, and B. Leclaire, \u201cGraphical interfaces for network modeling: A model management system perspective,\u201d ORSA Journal of Computing, vol. 5, pp. 275\u2013291, 1993.","journal-title":"ORSA Journal of Computing"},{"key":"BF00248011_CR44","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"L. Sterling","year":"1994","unstructured":"L. Sterling and E. Shapiro, The Art of Prolog: Advanced Programming Techniques, 2nd ed., MIT Press: Cambridge, MA, 1994.","edition":"2nd ed."},{"key":"BF00248011_CR45","first-page":"437","volume-title":"Integer and Nonlinear Programming","author":"J.A. Tomlin","year":"1970","unstructured":"J.A. Tomlin, \u201cBranch and bound methods for integer and non-convex programming,\u201d in Integer and Nonlinear Programming (J. Abadie, Ed.), American Elsevier Publishing Company: New York, pp. 437\u2013450, 1970."},{"key":"BF00248011_CR46","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P.Van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press: Cambridge, MA, 1989."},{"key":"BF00248011_CR47","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02022102","volume":"21","author":"P. Hentenryck Van","year":"1989","unstructured":"P.Van Hentenryck, \u201cA logic language for combinatorial optimization,\u201d Annals of Operations Research, vol. 21, pp. 247\u2013273, 1989.","journal-title":"Annals of Operations Research"}],"container-title":["Computational Optimization and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00248011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00248011\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00248011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T15:55:45Z","timestamp":1554306945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00248011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF00248011"],"URL":"https:\/\/doi.org\/10.1007\/bf00248011","relation":{},"ISSN":["0926-6003","1573-2894"],"issn-type":[{"value":"0926-6003","type":"print"},{"value":"1573-2894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}