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. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :