Lima, J., 		Rocha, A., 		Arruda, A., & 		Jr., D.
(2024).
 Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem.
In <em>Anais do V Workshop Brasileiro de Lógica</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2024.2458