Lima, João, Anne C. Rocha, Alexandre Arruda, and Dmontier Jr..
" Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem." <em>Anais do V Workshop Brasileiro de Lógica,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.9-16.