Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. - Francisco Mateus Rocha; Thiago Alves Rocha; Reginaldo Pereira Fernandes Ribeiro; Ajalmar Rêgo da Rocha Neto (BRACIS (1), 2023)