P. Ferreira and A. Arruda.
" Post-improving the Capacitated Vehicle Routing Problem Using a Max-SAT Solver", in <em>Anais do VI Workshop Brasileiro de Lógica</em>, Maceió/AL, 2025, pp. 32-39, doi: <a href="https://doi.org/10.5753/wbl.2025.8630">https://doi.org/10.5753/wbl.2025.8630</a>.