Dao Xuan, N., P. Dang Anh, and K. To Van. “A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem”. IEEE Latin America Transactions, vol. 24, no. 11, Oct. 2026, pp. 1236-49, https://latamt.ieeer9.org/index.php/transactions/article/view/10827.