The overflowing bin packing problem: theoretical results and compact ILP formulations | Synapse