Dao Xuan, Nghia, Phuong Dang Anh, and Khanh To Van. 2026. “A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem”. IEEE Latin America Transactions 24 (11):1236-49. https://latamt.ieeer9.org/index.php/transactions/article/view/10827.