Ferreira, P., & 		Arruda, A.
2025 jul 20.  Post-improving the Capacitated Vehicle Routing Problem Using a Max-SAT Solver. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :