Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
- Journal:
- IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
- Published:
- Affiliations:
- 2
- Authors:
- 4
| Institutions | Authors | Share |
|---|---|---|
| Prusa Research, Czech Republic | 0.75 | |
| Czech Technical University in Prague (CTU), Czech Republic | 0.25 |