Silva, Pedro, 		Silva, Francisco, 		Dantas, Rafael, 		Araújo, Carlos, E 		Arruda, Alexandre.
" A Clustering-Based Max-SAT Hybrid Approach for the Capacitated Vehicle Routing Problem with Time Windows" <em>Anais do Encontro de Teoria da Computação (ETC)</em> [Online], (19 julho 2026)