Polyhedral Results and Branch-and-Cut for the Resource Loading Problem - BizPub.ai