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