Formalization of Block Pruning: Reducing the Number of Cells Computed in Exact Biological Sequence Comparison Algorithms.
Edans Flavius de Oliveira SandesGeorge Luiz Medeiros TeodoroMaria Emília M. T. WalterXavier MartorellEduard AyguadéAlba Cristina Magalhaes Alves de MeloPublished in: Comput. J. (2018)