Silva, P., Silva, F., Dantas, R., Araújo, C., & Arruda, A. 2026 jul 19. A Clustering-Based Max-SAT Hybrid Approach for the Capacitated Vehicle Routing Problem with Time Windows. Anais do Encontro de Teoria da Computação (ETC). [Online] :