A Logic-Based Benders Decomposition for the Car Resequencing Problem with a Painted Body Storage - BizPub.ai