Planning and scheduling by logic-based benders decomposition
Algorithms for hybrid MILP/CP models for a class of optimization problems