Preprint
Oct 2026
Solving Distributed Flexible Job Shop Scheduling Problem Using SAT
The results demonstrate that the proposed SAT framework is an effective exact approach for the DFJSP, combining strong solution quality with rigorous optimality certification and offering a complementary exact method for future DFJSP studies and evaluations on additional benchmark instances.
Phuong Dang Anh, Duc Nguyen Trung, T. Van-Khanh
· 0 citations