Pedro Ferreira and Alexandre Arruda. 2025.
 Post-improving the Capacitated Vehicle Routing Problem Using a Max-SAT Solver. In <em>Anais do VI Workshop Brasileiro de Lógica</em>, julho 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 32-39. DOI: <a href="https://doi.org/10.5753/wbl.2025.8630">https://doi.org/10.5753/wbl.2025.8630</a>.