TY  - RPRT
TI  - Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
AU  - Ronaldo Gomes
AU  - Jairo Ribeiro
AU  - Luiz Queiroz
AU  - Thiago Alves Rocha
PY  - 2026
DO  - 10.1109/ijcnn64981.2025.11227808
UR  - https://arxiv.org/abs/2603.01923
ID  - 2603.01923
ER  -