L. Cecotti, M. Balboni, O. Arce, K. Machado, and A. Werhli. " A Non Exhaustive Search of Exhaustiveness", in Proceedings of the 15th Brazilian Symposium on Bioinformatics, Búzios/RJ, 2022, pp. 97-108.