Bilinear branch and check for unspecified parallel machine scheduling with shift consideration

This paper tackles the complex challenge of team formations, assignments, and job schedules within the static Unspecified Parallel Machine Flexible Resource Scheduling problem, specifically incorporating shift considerations. In existing literature, teams are often simplified as machines that operate continuously throughout the day without any interruptions. However, in reality, teams require breaks between shifts and cannot work continuously within a day. Therefore, we introduce shift considerations to ensure that teams do not work in consecutive shifts. We consider flexible workers, capable of performing any job, who are distributed among different teams in different shifts to undertake various jobs. The number of teams in each shift is a decision variable. The duration of each job is determined by the number of workers in a team assigned to it. The objective function is to minimize the makespan, representing the overall schedule completion time, while adhering to precedence constraints. We formulate an integer linear programming model for the proposed problem and develop a novel bilinear branch and check algorithm that introduces valid bilinear inequalities to accelerate convergence. The numerical results confirm that our algorithm’s performance optimally solves problems up to 35 jobs within a reasonable timeframe, surpassing the efficiency of the branch and cut method of IBM CPLEX and the classical branch and check algorithm. • Introduce new UPMFRS variant with work shifts as an integer programming model. • Generate valid inequalities, linear/bilinear, to strengthen the formulation. • Devise variable reduction and improved lower bound preprocessing techniques. • Design a novel branch and check algorithm for bilinear constraints. • Show algorithm superiority over CPLEX and classical branch and check on benchmarks.