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

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Surynek, Pavel, Bubník, Vojtěch, Matěna, Lukáš, Kubiš, Petr
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!