A multi-objective constraint programming–satisfiability model for non-unit repetitive construction scheduling

An exact ε-constraint procedure is used for the bi-objective time-cost case, while sampled frontier generation supports higher-dimensional trade-off analysis. From a practical perspective, the framework helps project managers compare feasible scheduling alternatives and balance competing priorities related to project deadlines, budget, construction quality, and crew continuity. The proposed model therefore provides a rigorous and practical decision-support framework for complex non-unit repetitive construction projects.</p> <p></p><p>CP-SAT model for non-unit repetitive scheduling.</p><p>Soft and hard sequencing are modeled explicitly.</p><p>Crew routes, travel, and interruption are jointly captured.</p><p>Duration, cost, quality, and interruption are optimized.</p><p>Exact and sampled Pareto strategies are distinguished.</p><p></p> <p>CP-SAT model for non-unit repetitive scheduling.</p> <p>Soft and hard sequencing are modeled explicitly.</p> <p>Crew routes, travel, and interruption are jointly captured.</p> <p>Duration, cost, quality, and interruption are optimized.</p> <p>Exact and sampled Pareto strategies are distinguished.</p>