Work

A Linear Arithmetic Model Reflecting Vertical Object Details in Object Packing and Scheduling for Sequential 3D Printing

Year: 2025

Type: conference-paper

Source: 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)

DOI: 10.1109/case58245.2025.11164019

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: closed

OpenAlex ID: W7084137402

FWCI:

Cites: 13

Cited by:

Related to: