{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:35Z","timestamp":1725664895639},"publisher-location":"Berlin, Heidelberg","reference-count":73,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614784"},{"type":"electronic","value":"9783540686002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61478-8_93","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:43:25Z","timestamp":1330292605000},"page":"423-437","source":"Crossref","is-referenced-by-count":0,"title":["Illustrating constraint programming systems in logistic planning"],"prefix":"10.1007","author":[{"given":"Jean-Michel","family":"Thizy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"31_CR1","volume-title":"ORSA\/TIMS Joint National Meeting","author":"T.W. Baker","year":"1986","unstructured":"Baker, T.W. and D.J. Biddel, \u201cA Hierarchical\/Relational Approach in Modeling\u201d, Chesapeake Decision Sciences, Inc., presented at ORSA\/TIMS Joint National Meeting, Miami Beach, 1986."},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1287\/opre.13.4.517","volume":"13","author":"E. Balas","year":"1965","unstructured":"Balas, E., \u201cAn Additive Algorithm for Solving Linear Programs with Zero-One Variables\u201d, Operations Research 13, pp. 517\u2013546, 1965.","journal-title":"Operations Research"},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1137\/0606047","volume":"6","author":"E. Balas","year":"1985","unstructured":"Balas, E., \u201cDisjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems\u201d, SIAM Journal of Algebraic and Discrete Methods, 6, pp. 466\u2013486, 1985.","journal-title":"SIAM Journal of Algebraic and Discrete Methods"},{"key":"31_CR4","unstructured":"Balinski, M.L. and P. Wolfe, \u201cOn Benders Decomposition and a Plant Location Problem\u201d, Mathematica, ARO-27, 1963."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Beale, E.M.L., \u201cInteger Programming\u201d, Computational Mathematical Programming, K. Schittkowski, ed., Springer-Verlag, pp. 1\u201324, 1985.","DOI":"10.1007\/978-3-642-82450-0_1"},{"key":"31_CR6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1287\/ijoc.4.3.267","volume":"4","author":"R.E. Bixby","year":"1990","unstructured":"Bixby, R.E., \u201cImplementing the Simplex Method: The Initial Basis,\u201d ORSA Journal on Computing, 4, pp. 267\u2013284, 1990.","journal-title":"ORSA Journal on Computing"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Blair, C., R.G. Jeroslow and J. Lowe, \u201cSome Results and Experiments in Programming Techniques for Prepositional Logic\u201d, Computers and OR, 13(5), 1986.","DOI":"10.1016\/0305-0548(86)90056-0"},{"issue":"3","key":"31_CR8","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0377-2217(88)90160-9","volume":"34","author":"R.L. Boehning","year":"1988","unstructured":"Boehning, R.L., R.M. Butler and B.E. Gillet, \u201cA Parallel Integer Linear Programming Algorithm\u201d, European Journal of Operational Research, 34(3), pp. 393\u2013398, 1988.","journal-title":"European Journal of Operational Research"},{"key":"31_CR9","unstructured":"Bonner & Moore Management Science, \u201cRPMS, The Refinery and Petrochemical Modeling System \u2014 A System Description\u201d, Houston, 1979."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Bowman, E.H., \u201cProduction Scheduling by the Transportation Method of Linear Programming\u201d, Operations Research, 4, 1956.","DOI":"10.1287\/opre.4.1.100"},{"key":"31_CR11","volume-title":"GAMS, A User's Guide","author":"A. Brooke","year":"1988","unstructured":"Brooke A., D. Kendrick and A. Meeraus, GAMS, A User's Guide, The Scientific Press, Redwood City, Ca., 1988."},{"key":"31_CR12","unstructured":"Burroughs Corporation, \u201cModel Development Language and Report Writer (MODELER), User's manuel\u201d, Detroit Mich, 1980."},{"issue":"3","key":"31_CR13","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF02023053","volume":"22","author":"T.L. Cannon","year":"1990","unstructured":"Cannon, T.L. and K.L. Hoffman, \u201cLarge-Scale 0-1 Linear Programming on Distributed Workstations\u201d, Annals of Operations Research, 22(3), pp. 181\u2013217, 1990.","journal-title":"Annals of Operations Research"},{"key":"31_CR14","unstructured":"Carstens, D., \u201cParallel processing for large scale linear programming and other applications programs\u201d, presented at ORSA\/TIMS joint national meeting, Los Angeles (1978) and IX International Symposium on Mathematical Programming, Montreal 1979."},{"issue":"1","key":"31_CR15","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1002\/j.1538-7305.1989.tb00315.x","volume":"68","author":"Y.C. Cheng","year":"1989","unstructured":"Cheng, Y.C., D.J. Houck, J.-M. Liu, M.S. Meketon, L. Slutsman, R.J. Vanderbei, P. Wang, \u201cThe AT&T Korbx System\u201d, AT&T Technical Journal, 68(1), pp. 7\u201319, 1989.","journal-title":"AT&T Technical Journal"},{"issue":"4","key":"31_CR16","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1287\/moor.8.4.579","volume":"8","author":"D. C. Cho","year":"1983","unstructured":"Cho, D. C., E. L. Johnson, M. W. Padberg and M. R. Rao, \u201cOn the Incapacitated Plant Location Problem I: Valid Inequalities and Facets\u201d, Mathematics of Operations Research, 8(4), pp. 579\u2013589, 1983.","journal-title":"Mathematics of Operations Research"},{"issue":"4","key":"31_CR17","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1287\/moor.8.4.590","volume":"8","author":"D. C. Cho","year":"1983","unstructured":"Cho, D. C., M. W. Padberg and M. R. Rao, \u201cOn the Uncapacitated Plant Location Problem II: Facets and Lifting Theorems\u201d, Mathematics of Operations Research, 8(4) pp. 590\u2013612, 1983.","journal-title":"Mathematics of Operations Research"},{"key":"31_CR18","unstructured":"Clark, K.L. and S.-A. T\u00e4rnlund, A First Order Theory of Data and Programs, Proceedings of IFIP, North Holland, pp. 939\u2013944, 1977."},{"issue":"7","key":"31_CR19","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Cohen, J., \u201cConstraint Logic Programming Languages\u201d, Communication of the ACM, 33(7), pp. 52\u201368, 1990.","journal-title":"Communication of the ACM"},{"key":"31_CR20","unstructured":"Colmerauer, A., Kanoui, H., Roussel, P. and Pasero, R. Un syst\u00e8me de communication homme-machine en fran\u00e7ais. Rapport pr\u00e9liminaire. Groupe d'Intelligence Artificielle, Universit\u00e9 d'Aix-Marseille, 1972."},{"key":"31_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1987-0","volume-title":"Parallel execution of logic programs","author":"J.S. Conery","year":"1987","unstructured":"Conery, J.S., Parallel execution of logic programs, Kluwer Academic Publishers, Boston, 1987."},{"key":"31_CR22","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF01583779","volume":"23","author":"G. Cornu\u00e9jols","year":"1982","unstructured":"Cornu\u00e9jols, G. and J.-M. Thizy, \u201cSome Facets of the Simple Plant Location Polytope\u201d, Mathematical Programming, 23 (1), pp. 50\u201374, 1982.","journal-title":"Mathematical Programming"},{"key":"31_CR23","unstructured":"Cunningham, K. and L. Schrage, \u201cThe LINGO Modeling Language\u201d, Technical Report, University of Chicago, 1989."},{"key":"31_CR24","unstructured":"Dickson, J.C., \u201cOn keeping both storage and I\/O requirements low in linear programming\u201d, paper presented to the VII International Symposium on Mathematical Programming, Stanford, CA, 1973."},{"issue":"4","key":"31_CR25","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1051\/ro\/1983170403171","volume":"17","author":"A. Dutta","year":"1983","unstructured":"Dutta, A., H. J. Siegel and A. E. Whinston, \u201cOn the Application of Parallel Architectures to a Class of Operations Research Problems\u201d, RAIRO Operations Research, 17(4), pp. 317\u2013341, 1983.","journal-title":"RAIRO Operations Research"},{"key":"31_CR26","volume-title":"Parallel Computer Architectures for Combinatorially Hard Problems","author":"M. Dutta","year":"1983","unstructured":"Dutta, M. and S. Shen, \u201cParallel Computer Architectures for Combinatorially Hard Problems\u201d, Graduate School of Management, The University of Rochester, ca. 1983."},{"key":"31_CR27","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1287\/opre.14.3.361","volume":"14","author":"M.A. Efroymson","year":"1966","unstructured":"Efroymson, M.A. and T.L. Ray, \u201cA Branch-and-Bound Algorithm for Plant Location\u201d, Operations Research, 14, pp. 361\u2013368, 1966.","journal-title":"Operations Research"},{"key":"31_CR28","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1287\/mnsc.20.5.736","volume":"20","author":"J.J.H. Forrest","year":"1974","unstructured":"Forrest, J.J.H., J.P.H. Hirst and J.A. Tomlin, \u201cPractical Solution of Large Mixed Integer Programming Problems with Umpire\u201d, Management Science 20, pp. 736\u2013773, 1974.","journal-title":"Management Science"},{"key":"31_CR29","volume-title":"Systems programming in parallel logic languages","author":"I. Foster","year":"1990","unstructured":"Foster, I., Systems programming in parallel logic languages, Prentice Hall, New York, 1990."},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"Fourer, R., D.M. Gay, and B.W. Kernighan, \u201cA Modeling Language for Mathematical Programming\u201d, Management Science, pp. 519\u2013554, 1990.","DOI":"10.1287\/mnsc.36.5.519"},{"key":"31_CR31","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/BFb0120690","volume":"2","author":"A.M. Geoffrion","year":"1974","unstructured":"Geoffrion, A.M., \u201cLagrangian Relaxation for Integer Programming\u201d, Mathematical Programming Study, 2, pp. 82\u2013114, 1974.","journal-title":"Mathematical Programming Study"},{"key":"31_CR32","unstructured":"Gregory, S., Parallel Logic Programming in PARLOG \u2014 The Language and Its Implementation, Addison-Wesley, 1987."},{"key":"31_CR33","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/BFb0120893","volume":"12","author":"M. Guignard","year":"1980","unstructured":"Guignard, M., \u201cFractional vertices, Cuts and Facets of the Simple Plant Location Problem\u201d, Mathematical Programming Study, 12, pp. 150\u2013162, 1980.","journal-title":"Mathematical Programming Study"},{"key":"31_CR34","unstructured":"Haverly Systems, Inc., MaGen, Denville, NJ, 1977."},{"key":"31_CR35","unstructured":"Haverly Systems, Inc., Omni Linear Programming System: User and Operating Manual, 1st ed. Denville, NJ, 1976."},{"key":"31_CR36","unstructured":"Hirshfeld, D.S., \u201cMathpro Usage Guide\u201d, Mathpro Inc., 1989."},{"key":"31_CR37","series-title":"APIC Studies in Data Processing No. 16","first-page":"212","volume-title":"Logic Programming","author":"C. Hogger","year":"1982","unstructured":"Hogger, C. (1980). \u201cConcurrent logic programming\u201d, in Logic Programming, APIC Studies in Data Processing No. 16, K.L. Clark and S.-A. T\u00e4rnlund eds., Academic Press, London, pp. 212\u2013228, 1982."},{"issue":"1","key":"31_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6377(88)90044-2","volume":"7","author":"J.N. Hooker","year":"1988","unstructured":"Hooker, J.N., \u201cResolution vs. Cutting Plane Solution of Inference Problems: Some Computational Experience\u201d, Operations Research Letters, 7(1), pp. 1\u20137, 1988.","journal-title":"Operations Research Letters"},{"key":"31_CR39","first-page":"123","volume":"1","author":"J.N. Hooker","year":"1990","unstructured":"Hooker, J.N. and C. Fedjki, \u201cBranch-and-Cut Solution of Inference Problems In Propositional Logic\u201d, Annals of Mathematics and AI, 1, pp. 123\u2013139, 1990.","journal-title":"Annals of Mathematics and AI"},{"key":"31_CR40","unstructured":"IBM World Trade Corporation, \u201cMatrix Generator and Report Writer (MGRW) Program Reference Manual\u201d, New York, 1972."},{"key":"31_CR41","unstructured":"IBM World Trade Corporation, \u201cIBM Mathematical Programming System Extended\/370 (MPSX\/370) Program Reference Manual\u201d, 2nd ed., New York and Paris, 1976."},{"key":"31_CR42","unstructured":"IBM Corporation, \u201cOptimization Subroutine Library: Guide and Reference\u201d, Research Triangle Park, NC, 1991."},{"key":"31_CR43","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and J.L. Lassez, CLP(\u211c), \u201cConstraint Logic Programming\u201d, Proceedings of the Conference on Principles of Programming Languages, Munich, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"31_CR44","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., S. Michaylov, P. Stuckey and R. Yap, \u201cThe CLP(\u211c) Language and System\u201d, ACM Transactions on Programming Languages 14(3), pp. 339\u2013395, 1992.","journal-title":"ACM Transactions on Programming Languages"},{"issue":"2","key":"31_CR45","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0167-9236(88)90128-5","volume":"4","author":"R.G. Jeroslow","year":"1988","unstructured":"Jeroslow, R.G., \u201cComputation-oriented Reductions of Predicate to Propositional logic\u201d, Decision Support Systems, 4(2), pp. 183\u2013197, 1988.","journal-title":"Decision Support Systems"},{"key":"31_CR46","unstructured":"Jeroslow, R.G., \u201cLogic-based Decision Support; Mixed Integer Model Formulation\u201d, Annals of Discrete Mathematics, 40, 1989."},{"key":"31_CR47","volume-title":"Operations Research in Production Planning, Scheduling and Inventory Control","author":"L.A. Johnson","year":"1974","unstructured":"Johnson, L.A. and D.C. Montgomery, Operations Research in Production Planning, Scheduling and Inventory Control, John Wiley and Sons, New York, 1974."},{"key":"31_CR48","doi-asserted-by":"crossref","unstructured":"Kallio, K., \u201cOn Designing LP Interface Structures\u201d, Proceedings of BIFOA Symposium, Szyperski, N. and Grochla, E., eds., Sijthoff & Noordhoff, 1979.","DOI":"10.1007\/978-94-009-9568-0_14"},{"key":"31_CR49","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1287\/mnsc.10.2.225","volume":"10","author":"R.L. Karg","year":"1964","unstructured":"Karg, R.L. and G.L. Thompson, \u201cA Heuristic Approach to Solving Traveling Salesman problems\u201d, Management Science, 10, pp. 225\u2013248, 1964.","journal-title":"Management Science"},{"key":"31_CR50","unstructured":"Ketron, Inc., \u201cDataform Users Manual\u201d, Arlington, Va, 1987."},{"key":"31_CR51","unstructured":"Ketron, Inc., \u201cMPSIII User Manual\u201d, Arlington, Va, 1992."},{"key":"31_CR52","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1002\/nav.3800200111","volume":"20","author":"B.M. Khumawala","year":"1973","unstructured":"Khumawala, B.M., \u201cAn Efficient Heuristic Procedure for the Uncapacitated Warehouse Location Problem\u201d, Naval Research Logistics Quaterly, 20, 109\u2013121, 1973.","journal-title":"Naval Research Logistics Quaterly"},{"key":"31_CR53","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski R., Logic for Problem Solving, New York: Elsevier North Holland, 1979."},{"key":"31_CR54","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1111257.1111259","volume":"29","author":"C.B. Krabek","year":"1980","unstructured":"Krabek, C.B., R.J. Sjoquist and D.C. Sommer, \u201cThe APEX Systems: Past and Future\u201d, SIGMAP Bull, 29, pp. 3\u201323, 1980.","journal-title":"SIGMAP Bull"},{"issue":"4","key":"31_CR55","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/355972.355976","volume":"7","author":"R.E. Marsten","year":"1981","unstructured":"Marsten, R.E., \u201cThe Design of the XMP Linear Programming Library\u201d, ACM Transactions on Mathematical Software 7(4), pp. 481\u2013497, 1981.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"31_CR56","doi-asserted-by":"crossref","unstructured":"McKinnon, K.I.M., \u201cConstructing Integer Programming Models in the Predicate Calculus\u201d, Annals of Operations Research, 1988.","DOI":"10.1007\/BF02022101"},{"key":"31_CR57","unstructured":"Mohamed, R.A.K., \u201cParallel Branch and Bound for Mixed Integer Programming\u201d, Technical Report 92-CSE-10, Department of Computer Science and Engineering, Southern Methodist University, 1992."},{"key":"31_CR58","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1057\/jors.1978.10","volume":"29","author":"J.G. Morris","year":"1978","unstructured":"Morris, J.G., \u201cOn the extent to which certain Fixed Charge Depot Location Problems can be solved by LP\u201d, Journal of the Operational Research Society, 29, pp. 71\u201376, 1978.","journal-title":"Journal of the Operational Research Society"},{"key":"31_CR59","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01588950","volume":"14","author":"B.A. Murtagh","year":"1978","unstructured":"Murtagh, B.A. and M.A. Saunders, \u201cLarge-Scale Linearly Constrained Optimization\u201d, Mathematical Programming 14, pp. 41\u201372, 1978.","journal-title":"Mathematical Programming"},{"key":"31_CR60","first-page":"1","volume-title":"Design and Implementation of Optimization Software","author":"W. Orchard-Hays","year":"1978","unstructured":"Orchard-Hays, W., \u201cHistory of Mathematical Programming Systems\u201d In Design and Implementation of Optimization Software, Harvey J. Greenberg, ed., Sijthoff & Noordhoff (Alphen aan den Rijn, The Netherlands, pp. 1\u201326, 1978."},{"key":"31_CR61","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-94-009-9935-0_2","volume-title":"Design and Implementation of Optimization Software","author":"W. Orchard-Hays","year":"1978","unstructured":"Orchard-Hays, W., \u201cScope of Mathematical Programming Software\u201d Ibid., pp. 27\u201340."},{"key":"31_CR62","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-94-009-9935-0_3","volume-title":"Design and Implementation of Optimization Software","author":"W. Orchard-Hays","year":"1978","unstructured":"Orchard-Hays, W., \u201cAnatomy of a Mathematical Programming System\u201d Ibid., pp. 41\u2013102."},{"key":"31_CR63","volume-title":"A Model Management Framework for Mathematical Programming","author":"K. Palmer","year":"1984","unstructured":"Palmer, K., A Model Management Framework for Mathematical Programming, Wiley, New York, 1984."},{"key":"31_CR64","doi-asserted-by":"crossref","unstructured":"Pruul, E.A., G.L. Nemhauser and R.A. Rushmeier, \u201cBranch-and-Bound and Parallel Computation: A Historical Note\u201d, Operations Research Letters, 7(2), 1988.","DOI":"10.1016\/0167-6377(88)90067-3"},{"key":"31_CR65","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming Languages","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A. Concurrent Constraint Programming Languages, MIT Press, Cambridge, Ma., 1993."},{"key":"31_CR66","volume-title":"LINDO, An Optimization Modeling System","author":"L. Schrage","year":"1991","unstructured":"Schrage, L. LINDO, An Optimization Modeling System, The Scientific Press, Redwood City, Ca., 1991."},{"key":"31_CR67","series-title":"Series in Logic Programming","volume-title":"Concurrent Prolog \u2014 Collected Papers","author":"E. Shapiro","year":"1987","unstructured":"Shapiro, E., Concurrent Prolog \u2014 Collected Papers, The MIT Press Series in Logic Programming, Cambridge, Ma., 1987."},{"key":"31_CR68","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1093\/imaman\/1.4.267","volume":"1","author":"R.V. Simons","year":"1987","unstructured":"Simons, R.V., \u201cMathematical Programming Modeling Using MGG\u201d, IMAJ, Math Management 1, pp. 267\u2013276, 1987.","journal-title":"IMAJ, Math Management"},{"key":"31_CR69","unstructured":"Sperry Univac Computer Systems, \u201cGAMMA 3.4 Programmer Reference\u201d, St Paul, Mn, 1977."},{"key":"31_CR70","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P. Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, Ma., 1989."},{"key":"31_CR71","doi-asserted-by":"crossref","unstructured":"Welch, J.S., Jr., \u201cPAM \u2014 A Practioner's Approach to Modeling\u201d, Management Science, 33(5), 1987.","DOI":"10.1287\/mnsc.33.5.610"},{"key":"31_CR72","unstructured":"Zenios, S.A., S. Nielsen and M. Pinar, \u201cOn the use of advanced architecture computers via high-level modeling languages, in The Impact of Recent Computing Advances on Operations Research, pp. 507\u2013518, Operations Research Series 9, Elsevier Science, 1989."},{"issue":"2","key":"31_CR73","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/78928.78929","volume":"16","author":"S.A. Zenios","year":"1990","unstructured":"Zenios, S.A., \u201cIntegrating Network Optimization Capabilities into a High-Level Modeling Language, ACM Transactions on Mathematical Software, 16(2), pp. 113\u2013142, 1990.","journal-title":"ACM Transactions on Mathematical Software"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 CAST '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61478-8_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:37:49Z","timestamp":1640947069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61478-8_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614784","9783540686002"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/3-540-61478-8_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}