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 (Oct. 2026), 1236–1249.