Cover Image

Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Surynek, Pavel, Bubník, Vojtěch, Matěna, Lukáš, Kubiš, Petr
Format:	Preprint
Published:	2025
Subjects:	Computational Geometry Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Portfolio of Solving Strategies in CEGAR-based Object Packing and Scheduling for Sequential 3D Printing
by: Surynek, Pavel
Published: (2026)

Multi-agent Path Finding in Continuous Environment
by: Janovská, Kristýna, et al.
Published: (2024)

Optimally Packing a Large Square by Unit Squares
by: McClenagan, Rory
Published: (2026)

Soft Shadow Diffusion (SSD): Physics-inspired Learning for 3D Computational Periscopy
by: Raji, Fadlullah, et al.
Published: (2026)

DC3DO: Diffusion Classifier for 3D Objects
by: Koprucu, Nursena, et al.
Published: (2024)

Automated Classification of Bitmap Images using Decision Trees
by: Pavel Surynek
Published: (2011)

Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects
by: Acharya, Pritam, et al.
Published: (2024)

Progress in Formalizing Sphere Packing in Dimension 8
by: Hariharan, Sidharth, et al.
Published: (2026)

A New Linear Programming Method in Sphere Packing
by: Mo, Qun, et al.
Published: (2024)

Arithmetic geometry of quantum connections on Calabi-Yau $3$-folds
by: Bai, Shaoyun, et al.
Published: (2026)

Packing d-dimensional balls into a d+1-dimensional container
by: Alt, Helmut, et al.
Published: (2021)

TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI
by: Koohestani, Roham, et al.
Published: (2026)

On Geometry, Arithmetics and Chaos
by: Andersen, Lars
Published: (2024)

On the Packing Functions of some Linear Sets of Lebesgue Measure Zero
by: Anderson, Austin, et al.
Published: (2024)

Neural Slicer for Multi-Axis 3D Printing
by: Liu, Tao, et al.
Published: (2024)

How Packed Is It, Really?
by: Har-Peled, Sariel, et al.
Published: (2021)

Non-planar 3D Printing of Double Shells
by: Mitropoulou, Ioanna, et al.
Published: (2025)

Online Packing of Orthogonal Polygons
by: Gerlach, Tim, et al.
Published: (2026)

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
by: Dana-Picard, Thierry, et al.
Published: (2024)

Investigation of the Estimation Accuracy of 5 Different Numerical ODE Solvers on 3 Case Studies
by: Moradi, Hamidreza, et al.
Published: (2025)

Curves on Compact Arithmetic Quotients of Hyperbolic 2-ball
by: Li, Zhehao
Published: (2025)

Separator for $c$-Packed Segments and Curves
by: Har-Peled, Sariel
Published: (2026)

Shadoks Approach to Knapsack Polygonal Packing
by: da Fonseca, Guilherme D., et al.
Published: (2024)

A Framework for Efficient Approximation Schemes on Geometric Packing Problems of $d$-dimensional Fat Objects
by: Chagas, Vítor Gomes, et al.
Published: (2024)

Arithmetic D-modules on locally noetherian formal schemes
by: Crew, Richard
Published: (2017)

Reaching New Heights in Multi-Agent Collective Construction
by: Rameš, Martin, et al.
Published: (2024)

Optimal Horoball Packing Densities for Koszul-type tilings in Hyperbolic $3$-space
by: Kozma, Robert T., et al.
Published: (2022)

Triangulation of Points Constrained to a Plane
by: Hrubý, Petr, et al.
Published: (2026)

From Theory to Throughput: CUDA-Optimized APML for Large-Batch 3D Learning
by: Sharifipour, Sasan, et al.
Published: (2025)

New Sphere Packings from the Antipode Construction
by: Chen, Ruitao, et al.
Published: (2025)

Hardness and Approximation Schemes for Discrete Packing and Domination
by: Madireddy, Raghunath Reddy, et al.
Published: (2025)

Packing Integral Tori in Del Pezzo Surfaces
by: Boustany, Karim
Published: (2023)

Uncovering Model Processing Strategies with Non-Negative Per-Example Fisher Factorization
by: Matena, Michael, et al.
Published: (2023)

Planar Bilipschitz Extension from Separated Nets
by: Dymond, Michael, et al.
Published: (2024)

The Enumerative Geometry and Arithmetic of Banana Nano-Manifolds
by: Bryan, Jim, et al.
Published: (2024)

Arithmetic structure of generalized Inoue--Bombieri manifolds
by: Flamencourt, Brice, et al.
Published: (2026)

Packings in classical Banach spaces
by: De Bernardi, Carlo Alberto, et al.
Published: (2026)

Packing Lagrangian tori
by: Hind, Richard K., et al.
Published: (2021)

Packing Meets Topology
by: Freedman, Michael H.
Published: (2022)

INF-3DP: Implicit Neural Fields for Collision-Free Multi-Axis 3D Printing
by: Qu, Jiasheng, et al.
Published: (2025)