Ferreira, Pedro, E 		Arruda, Alexandre.
" Post-improving the Capacitated Vehicle Routing Problem Using a Max-SAT Solver" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (20 julho 2025)