Cecotti, Letícia, Maurício Dorneles Caldeira Balboni, Oscar Emilio Arrúa Arce, Karina dos Santos Machado, and Adriano Velasque Werhli. " A Non Exhaustive Search of Exhaustiveness." Proceedings of the 15th Brazilian Symposium on Bioinformatics, Búzios/RJ, 2022. SBC, 2022, pp.97-108.