CP and Hybrid Models for Two-Stage Batching and Scheduling. - Tanya Y. Tang; J. Christopher Beck (CPAIOR, 2020)