We examine a parallel machine scheduling problem with setup times and time windows.
Integer programming (IP) and constraint programming (CP) models are proposed.
Two logic-based Benders decomposition algorithms are developed.
Extensive computational tests on a real-life case study are performed.
We report the effectiveness of the algorithms over pure IP and CP models.