SILVA, Pedro H. F. da; 						SILVA, Francisco D. C. da; 						DANTAS, Rafael F.; 						ARAÚJO, Carlos V. D.; 						ARRUDA, Alexandre M..
 A Clustering-Based Max-SAT Hybrid Approach for the Capacitated Vehicle Routing Problem with Time Windows. <em>In</em>: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 11.	, 2026, Gramado/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 1-5. 
			ISSN 2595-6116. 
		DOI: <a href="https://doi.org/10.5753/etc.2026.22144">https://doi.org/10.5753/etc.2026.22144</a>.