Silva, Pedro, Francisco D. C. da Silva, Rafael F. Dantas, Carlos V. D. Araújo, and Alexandre M. Arruda.
" A Clustering-Based Max-SAT Hybrid Approach for the Capacitated Vehicle Routing Problem with Time Windows." <em>Anais do XI Encontro de Teoria da Computação,
Gramado/RS, 2026</em>. SBC, 2026,  
pp.1-5.