{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:16:01Z","timestamp":1762323361403},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135194"},{"type":"electronic","value":"9783642135200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13520-0_18","type":"book-chapter","created":{"date-parts":[[2010,6,12]],"date-time":"2010-06-12T16:10:33Z","timestamp":1276359033000},"page":"141-146","source":"Crossref","is-referenced-by-count":4,"title":["A SAT Encoding for Multi-dimensional Packing Problems"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Grandcolas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9dric","family":"Pinto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1287\/opre.1060.0369","volume":"55","author":"S.P. Fekete","year":"2007","unstructured":"Fekete, S.P., Schepers, J., van der Veen, J.: An exact algorithm for higher-dimensional orthogonal packing. Operations Research\u00a055(3), 569\u2013587 (2007)","journal-title":"Operations Research"},{"key":"18_CR2","unstructured":"Soh, T., Inoue, K., Tamura, N., Banbara, M., Nabeshima, H.: A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. In: Proceedings of the 15th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (2008)"},{"issue":"3","key":"18_CR3","doi-asserted-by":"publisher","first-page":"1196","DOI":"10.1016\/j.ejor.2005.12.048","volume":"183","author":"F. Clautiaux","year":"2007","unstructured":"Clautiaux, F., Carlier, J., Moukrim, A.: A new exact method for the two-dimensional orthogonal packing problem. European Journal of Operational Research\u00a0183(3), 1196\u20131211 (2007)","journal-title":"European Journal of Operational Research"},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s001860400376","volume":"60","author":"S.P. Fekete","year":"2004","unstructured":"Fekete, S.P., Schepers, J.: A general framework for bounds for higher-dimensional orthogonal packing problems. Mathematical Methods of Operations Research\u00a060(2), 311\u2013329 (2004)","journal-title":"Mathematical Methods of Operations Research"},{"issue":"3","key":"18_CR5","first-page":"310","volume":"15","author":"S. Martello","year":"2003","unstructured":"Martello, S., Monaci, M., Vigo, D.: An exact approach to the strip-packing problem. Journal on Computing\u00a015(3), 310\u2013319 (2003)","journal-title":"Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13520-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:06:04Z","timestamp":1619784364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13520-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135194","9783642135200"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13520-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}