Compact SAT encoding for power peak minimization in assembly line balancing
The Simple Assembly Line Balancing Problem with Power Peak Minimization (SALB3PM) minimizes maximum instantaneous power usage while assigning n tasks to m workstations and determining execution schedules within given cycle time constraints. This NP-hard problem couples workstation assignment, temporal sequencing, and p...