João Lima, Anne Rocha, Alexandre Arruda, and Dmontier Jr.. 2024. Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem. In Anais do V Workshop Brasileiro de Lógica, julho 21, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: https://doi.org/10.5753/wbl.2024.2458.