Dao Xuan N, Dang Anh P, To Van K. A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem. IEEE LAT AM T [Internet]. 2026 Oct. 20 [cited 2026 Oct. 24];24(11):1236-49. Available from: https://latamt.ieeer9.org/index.php/transactions/article/view/10827