DAO XUAN, N.; DANG ANH, P.; TO VAN, K. A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem. IEEE Latin America Transactions, [S. l.], v. 24, n. 11, p. 1236–1249, 2026. Disponível em: https://latamt.ieeer9.org/index.php/transactions/article/view/10827. Acesso em: 24 oct. 2026.