We present an exact algorithm for constructing minimal hybridization networks from multiple trees which is based on reducing the problem to the Boolean satisfiability problem. The main idea of our algorithm is to iterate over possible hybridization numbers and to construct a Boolean formula for each of them that is satisfiable iff there exists a network with such hybridization number. The proposed algorithm is implemented in a software tool PhyloSAT. The experimental evaluation of our algorithm on biological data shows that our method is as far as we know the fastest exact algorithm for the minimal hybridization network construction problem.
CITATION STYLE
Ulyantsev, V., & Melnik, M. (2015). Constructing parsimonious hybridization networks from multiple phylogenetic trees using a sat-solver. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9199, pp. 141–153). Springer Verlag. https://doi.org/10.1007/978-3-319-21233-3_11
Mendeley helps you to discover research relevant for your work.