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