Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT

Figure 3

WPM formulation for exemplified problem.