Solving hybrid flow shop problem using energetic reasoning and global operations

This paper shows that the use of satisfiability tests and time-bound adjustments based on energetic reasoning and global operations can enhance the efficiency of branch and bound procedures for optimally solving the hybrid flow shop scheduling problem. Procedures to use energetic reasoning and extended forms of global adjustment techniques are described and are empirically evaluated. Computational results show that the proposed approaches outperform the best known procedures to optimally solve the hybrid flow shop problem.