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 <em>Anais do V Workshop Brasileiro de Lógica</em>, julho 21, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: <a href="https://doi.org/10.5753/wbl.2024.2458">https://doi.org/10.5753/wbl.2024.2458</a>.