Pedro Silva, Francisco Silva, Rafael Dantas, Carlos Araújo, and Alexandre Arruda. 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>, julho 19, 2026, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 1-5. DOI: <a href="https://doi.org/10.5753/etc.2026.22144">https://doi.org/10.5753/etc.2026.22144</a>.