Ferreira, Pedro, and Alexandre M. Arruda.
" Post-improving the Capacitated Vehicle Routing Problem Using a Max-SAT Solver." <em>Anais do VI Workshop Brasileiro de Lógica,
Maceió/AL, 2025</em>. SBC, 2025,  
pp.32-39.