Vladimir Ulyantsev and
Mikhail Melnik. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-solver. In AlCoB15, Vol. 9199:141-153 of LNCS, springer, 2015. Keywords: explicit network, from rooted trees, from trees, phylogenetic network, phylogeny, Program PIRN, reconstruction. Note: https://www.researchgate.net/profile/Vladimir_Ulyantsev/publication/282816862_Constructing_Parsimonious_Hybridization_Networks_from_Multiple_Phylogenetic_Trees_Using_a_SAT-Solver/links/561d372c08aecade1acb3699/Constructing-Parsimonious-Hybridization-Networks-from-Multiple-Phylogenetic-Trees-Using-a-SAT-Solver.pdf.
|