Lima, J., 		Rocha, A., 		Arruda, A., & 		Jr., D.
2024 jul 21.  Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :