Lima, João, 		Rocha, Anne, 		Arruda, Alexandre, E 		Jr., Dmontier.
" Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (21 julho 2024)