N. Dao Xuan, P. Dang Anh, and K. To Van, “A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem”, IEEE LAT AM T, vol. 24, no. 11, pp. 1236–1249, Oct. 2026.