约束规划
调度(生产过程)
计算机科学
作业车间调度
作业调度程序
数学优化
并行计算
程序设计语言
数学
操作系统
随机规划
地铁列车时刻表
排队
作者
Jorge A. Huertas,Pascal Van Hentenryck
标识
DOI:10.1109/tsm.2025.3601510
摘要
This paper addresses the incompatible case of parallel batch scheduling, where compatible jobs belong to the same family, and jobs from different families cannot be processed together in the same batch. The state-of-the-art constraint programming (CP) model for this problem relies on specific functions and global constraints only available in a well established commercial CP solver. This paper expands the literature around this problem by proposing four new CP models that can be implemented in commercial and open-source solvers: a new model that relies on automaton constraints, and three alternative models that integrate assignment and scheduling decisions with different strategies and global constraints. Extensive computational experiments on standard test cases under multiple objectives and multiple solvers demonstrate the implementation flexibility and competitive performance of the proposed models.
科研通智能强力驱动
Strongly Powered by AbleSci AI