Dao Xuan, N.; Dang Anh, P.; To Van, K. A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem. IEEE LAT AM T 2026, 24, 1236-1249.