Comparing Neural Network Encodings for Logic-Based Explainability. - Levi Cordeiro Carvalho; Saulo A. F. Oliveira; Thiago Alves Rocha (BRACIS (1), 2024)