{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T11:08:32Z","timestamp":1766056112800,"version":"3.48.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"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,10,19]]},"DOI":"10.1109\/iros60139.2025.11247042","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"5679-5686","source":"Crossref","is-referenced-by-count":0,"title":["Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver"],"prefix":"10.1109","author":[{"given":"Pavel","family":"Surynek","sequence":"first","affiliation":[{"name":"Czech Technical University in Prague,Faculty of Information Technology,Praha 6,Czechia,160 00"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojt\u011bch","family":"Bubn\u00edk","sequence":"additional","affiliation":[{"name":"Prusa Research,Holešovice,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luk\u00e1\u0161","family":"Mat\u011bna","sequence":"additional","affiliation":[{"name":"Prusa Research,Holešovice,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Kubi\u0161","sequence":"additional","affiliation":[{"name":"Prusa Research,Holešovice,Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2015.04.001"},{"key":"ref2","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":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24489-1_4"},{"year":"2025","key":"ref4","article-title":"Prusa slicer 2.9.1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1609\/socs.v2i1.18211"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3735"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-008-0463-6"},{"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","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","doi-asserted-by":"crossref","DOI":"10.3233\/FAIA336","volume-title":"Handbook of Satisfiability - Second Edition","volume":"336","author":"Biere","year":"2021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103662"},{"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\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11247042.pdf?arnumber=11247042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T11:04:25Z","timestamp":1766055865000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11247042\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11247042","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}