{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:51:49Z","timestamp":1726044709804},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030311391"},{"type":"electronic","value":"9783030311407"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31140-7_6","type":"book-chapter","created":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T23:26:53Z","timestamp":1568935613000},"page":"85-100","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Decomposed Fourier-Motzkin Elimination Framework to Derive Vessel Capacity Models"],"prefix":"10.1007","author":[{"given":"Mai L.","family":"Ajspur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rune M.","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kent H.","family":"Andersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,20]]},"reference":[{"key":"6_CR1","unstructured":"Ajspur, M.L., Jensen, R.M.: Using Fourier-Motzkin-elimination to derive capacity models of container vessels. Technical Report TR-2017-197, IT University of Copenhagen (2017)"},{"issue":"2","key":"6_CR2","first-page":"81","volume":"38","author":"D Ambrosino","year":"2004","unstructured":"Ambrosino, D., Sciomachen, A., Tanfani, E.: Stowing a containership: the master bay plan problem. Transp. Res. Part A: Policy Pract. 38(2), 81\u201399 (2004)","journal-title":"Transp. Res. Part A: Policy Pract."},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF01586000","volume":"71","author":"ED Andersen","year":"1995","unstructured":"Andersen, E.D., Andersen, K.D.: Presolving in linear programming. Math. Program. 71(2), 221\u2013245 (1995)","journal-title":"Math. Program."},{"issue":"1\u20132","key":"6_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1017\/S1471068404002261","volume":"5","author":"F Benoy","year":"2005","unstructured":"Benoy, F., King, A., Mesnard, F.: Computing convex hulls with a linear solver. Theory Pract. Logic Program. 5(1\u20132), 259\u2013271 (2005)","journal-title":"Theory Pract. Logic Program."},{"key":"6_CR5","unstructured":"Delgado, A.: Models and Algorithms for Container Vessel Stowage Optimization. Ph.D. thesis, IT University of Copenhagen (2013)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BFb0121242","volume-title":"On Fourier\u2019s analysis of linear inequality systems","author":"RJ Duffin","year":"1974","unstructured":"Duffin, R.J.: On Fourier\u2019s analysis of linear inequality systems, pp. 71\u201395. Springer, Heidelberg (1974). \n                      https:\/\/doi.org\/10.1007\/BFb0121242"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-49481-2_14","volume-title":"Principles and Practice of Constraint Programming\u2014CP98","author":"A Fordan","year":"1998","unstructured":"Fordan, A., Yap, R.H.C.: Early projection in CLP(R). In: Maher, M., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 177\u2013191. Springer, Heidelberg (1998). \n                      https:\/\/doi.org\/10.1007\/3-540-49481-2_14"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01535523","volume":"6","author":"T Huynh","year":"1992","unstructured":"Huynh, T., Lassez, C., Lassez, J.L.: Practical issues on the projection of polyhedral sets. Ann. Math. Artif. Intell. 6(4), 295\u2013315 (1992)","journal-title":"Ann. Math. Artif. Intell."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-030-00898-7_11","volume-title":"Computational Logistics","author":"RM Jensen","year":"2018","unstructured":"Jensen, R.M., Ajspur, M.L.: The standard capacity model: towards a polyhedron representation of container vessel capacity. In: Cerulli, R., Raiconi, A., Vo\u00df, S. (eds.) ICCL 2018. LNCS, vol. 11184, pp. 175\u2013190. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-030-00898-7_11"},{"key":"6_CR10","unstructured":"Jensen, R.M., Pacino, D., Ajspur, M.L., Vesterdal, C.: Container Vessel Stowage Planning. Weilbach (2018)"},{"key":"6_CR11","unstructured":"Jones, C., Kerrigan, E.C., Maciejowski, J.: Equality set projection: a new algorithm for the projection of polytopes in halfspace representation. Technical report, Cambridge University Engineering Dept (2004)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF01585162","volume":"62","author":"K Jones","year":"1993","unstructured":"Jones, K., Lustig, I., Farwolden, J., Powell, W.: Multicommodity network flows: the impact of formulation on decomposition. Math. Program. 62, 95\u2013117 (1993)","journal-title":"Math. Program."},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1057\/palgrave.jors.2601322","volume":"53","author":"JG Kang","year":"2002","unstructured":"Kang, J.G., Kim, Y.D.: Stowage planning in maritime container transportation. J. Oper. Res. Soc. 53(4), 415\u2013426 (2002)","journal-title":"J. Oper. Res. Soc."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Lassez, J.L.: Querying constraints. In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 288\u2013298. ACM (1990)","DOI":"10.1145\/298514.298581"},{"issue":"7","key":"6_CR15","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1134\/S0965542508070038","volume":"48","author":"AM Lukatskii","year":"2008","unstructured":"Lukatskii, A.M., Shapot, D.V.: A constructive algorithm for folding large-scale systems of linear inequalities. Comput. Math. Math. Phys. 48(7), 1100\u20131112 (2008)","journal-title":"Comput. Math. Math. Phys."},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-24264-9_22","volume-title":"Computational Logistics","author":"D Pacino","year":"2011","unstructured":"Pacino, D., Delgado, A., Jensen, R.M., Bebbington, T.: Fast generation of near-optimal plans for eco-efficient stowage of large container vessels. In: B\u00f6se, J.W., Hu, H., Jahn, C., Shi, X., Stahlbock, R., Vo\u00df, S. (eds.) ICCL 2011. LNCS, vol. 6971, pp. 286\u2013301. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24264-9_22"},{"issue":"01","key":"6_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4236\/ajcm.2012.21001","volume":"2","author":"DV Shapot","year":"2012","unstructured":"Shapot, D.V., Lukatskii, A.M.: Solution building for arbitrary system of linear inequalities in an explicit form. Am. J. Comput. Math. 2(01), 1 (2012)","journal-title":"Am. J. Comput. Math."},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11547662_23","volume-title":"Static Analysis","author":"A Simon","year":"2005","unstructured":"Simon, A., King, A.: Exploiting sparsity in polyhedral analysis. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 336\u2013351. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11547662_23"},{"key":"6_CR19","volume-title":"Model Building in Mathematical Programming","author":"HP Williams","year":"2007","unstructured":"Williams, H.P.: Model Building in Mathematical Programming. Wiley, London (2007)"},{"issue":"11","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1248","DOI":"10.1057\/palgrave.jors.2601022","volume":"51","author":"ID Wilson","year":"2000","unstructured":"Wilson, I.D., Roach, P.A.: Container stowage planning: a methodology for generating computerised solutions. J. Oper. Res. Soc. 51(11), 1248\u20131255 (2000)","journal-title":"J. Oper. Res. Soc."},{"key":"6_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8431-1","volume-title":"Lectures on Polytopes, Graduate Texts in Mathematics","author":"GM Ziegler","year":"1995","unstructured":"Ziegler, G.M.: Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152. Springer, New York (1995). \n                      https:\/\/doi.org\/10.1007\/978-1-4613-8431-1"}],"container-title":["Lecture Notes in Computer Science","Computational Logistics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31140-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T23:27:30Z","timestamp":1568935650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31140-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030311391","9783030311407"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31140-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"20 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Logistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barranquilla","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Colombia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccl22019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/iccl2019.co\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}