本論文では、系列バッチ（s-batch）スケジューリングにおいて、類似ファミリーのジョブをバッチにまとめて順次処理する新しい制約プログラミング（CP）モデルを提案しています。従来のCPモデルは、事前に定義されたバーチャルなバッチ集合に依存しているため、次元の呪いに悩まされ、問題の複雑さを増加させていました。提案されたモデルは、同じファミリーのジョブのシーケンスに直接基づいて推論を行い、より簡潔な定式化を実現しています。また、問題の構造を利用した最適化検索フェーズと補強された推論レベルの導入により、パフォーマンスをさらに向上させています。計算実験では、提案モデルが既存の手法よりも優れた結果を示し、特に100ジョブまでの小・中規模の問題と、500ジョブ、10ファミリー、10マシンの大規模問題においても25%良い解を見出す能力が確認されました。