id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
bracis-33567	Carvalho, Levi Cordeiro; Oliveira, Saulo A. F.; Rocha, Thiago Alves	Comparing Neural Network Encodings for Logic-Based Explainability	2024		.htm	text/html	7007	384	55	Experiments showed similar running times for computing explanations, but the adapted encoding performed up to 18% better in building logical constraints and up to 16% better in overall time. Moreover, these bounds can aid the solver in computing explanations more rapidly.	cache/bracis-33567.htm	txt/bracis-33567.txt