{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:29:17Z","timestamp":1759364957430,"version":"build-2065373602"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,17]],"date-time":"2025-08-17T00:00:00Z","timestamp":1755388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,17]],"date-time":"2025-08-17T00:00:00Z","timestamp":1755388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,17]]},"DOI":"10.1109\/case58245.2025.11164019","type":"proceedings-article","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T17:24:07Z","timestamp":1758648247000},"page":"1094-1100","source":"Crossref","is-referenced-by-count":0,"title":["A Linear Arithmetic Model Reflecting Vertical Object Details in Object Packing and Scheduling for Sequential 3D Printing"],"prefix":"10.1109","author":[{"given":"Pavel","family":"Surynek","sequence":"first","affiliation":[{"name":"Czech Technical University in Prague,Faculty of Information Technology,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojt\u011bch","family":"Bubn\u00edk","sequence":"additional","affiliation":[{"name":"Prusa Research,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luk\u00e1\u0161","family":"Mat\u011bna","sequence":"additional","affiliation":[{"name":"Prusa Research,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Kubi\u0161","sequence":"additional","affiliation":[{"name":"Prusa Research,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1485","article-title":"Multi-objective optimization of 3d packing problem in additive manufacturing","volume-title":"IIE Annual Conference and Expo 2014","author":"Wu"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24489-1_4"},{"year":"2025","key":"ref3","article-title":"Prusa slicer 2.9.1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1609\/socs.v2i1.18211"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3735"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3220280"},{"key":"ref7","first-page":"287","article-title":"Optimal rectangle packing: Initial results","volume-title":"Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS 2003). AAAI","author":"Korf"},{"article-title":"A genetic algorithm for packing three-dimensional non-convex objects having cavities and holes","volume-title":"International Conference on Genetic Algorithms","author":"Ikonen","key":"ref8"},{"key":"ref9","first-page":"342","article-title":"A new method for the three dimensional container packing problem","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence, IJCAI 2001","author":"Lim"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.11.063"},{"volume-title":"Constraint Processing","year":"2003","author":"Dechter","key":"ref11"},{"volume-title":"Deterministic Operations Research: Models and Methods in Linear Optimization","year":"2010","author":"Rader","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref14","first-page":"93","article-title":"Optimal rectangle packing: A meta-csp approach","volume-title":"Proceedings of the 16th International Conference on Automated Planning and Scheduling, ICAPS 2006. AAAI","author":"Moffitt"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-008-0463-6"},{"key":"ref16","first-page":"1","article-title":"Satisfiability modulo theories based packing of scalable rectangles for real-time layout generation","volume-title":"Master Thesis, Radboud University Nijmegen","author":"Nikken","year":"2020"},{"volume-title":"Decision Procedures - An Algorithmic Point of View, Second Edition","year":"2016","author":"Kroening","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"ref20","article-title":"Object packing and scheduling for sequential 3d printing: a linear arithmetic model and a cegar-inspired optimal solver","volume":"abs\/2503.05071","author":"Surynek","year":"2025","journal-title":"CoRR"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.3233\/FAIA336","volume-title":"Handbook of Satisfiability - Second Edition","volume":"336","author":"Biere","year":"2021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10341952"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"year":"2006","key":"ref25","article-title":"Gecode: Generic constraint development environment"}],"event":{"name":"2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2025,8,17]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2025,8,21]]}},"container-title":["2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11163731\/11163732\/11164019.pdf?arnumber=11164019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T05:15:31Z","timestamp":1759295731000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11164019\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,17]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/case58245.2025.11164019","relation":{},"subject":[],"published":{"date-parts":[[2025,8,17]]}}}