Work

Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-Inspired Optimal Solver (Extended Abstract)

Year: 2025

Type: conference-paper

Abstract: We address the problem of object arrangement and scheduling for sequential 3D printing. Unlike the standard 3D printing, where all objects are printed slice by slice, in sequential 3D printing, objects are completed one after another. In the sequential case, it is necessary to ensure that the moving parts of the printer do not collide with previously printed objects. We propose to express the problem of sequential printing as a linear arithmetic formula, which is then solved using a solver for satisfiability modulo theories (SMT) combined with counterexample guided abstraction refinement (CEGAR).

Source: Proceedings of the International Symposium on Combinatorial Search

DOI: 10.1609/socs.v18i1.36014

Authors: Pavel Surynek, Vojtěch Bubník, Lukáš Matěna, Petr Kubiš

Institution: Czech Technical University in Prague

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4412508361

FWCI: 1.982

Cites:

Cited by: 1

Related to: 10