ROCHA, Francisco Mateus; 						ROCHA, Thiago Alves; 						RIBEIRO, Reginaldo Pereira Fernandes; 						ROCHA, Ajalmar Rêgo.
 Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. <em>In</em>: BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 12.	, 2023, Belo Horizonte/MG.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2023
.
 p. 144-159. 
			ISSN 2643-6264.