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