Silva, P., 		Silva, F., 		Dantas, R., 		Araújo, C., & 		Arruda, A.
(2026).
 A Clustering-Based Max-SAT Hybrid Approach for the Capacitated Vehicle Routing Problem with Time Windows.
In <em>Anais do XI Encontro de Teoria da Computação</em>, (pp. 1-5). Porto Alegre: SBC.
doi:10.5753/etc.2026.22144