Ferreira Júnior, Antônio, and Thiago Alves Rocha. " An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules." Anais da XII Brazilian Conference on Intelligent Systems, Belo Horizonte/MG, 2023. SBC, 2023, pp.227-242.