Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver

Vladimir Ulyantsev, Mikhail Melnik. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. In Adrian Horia Dediu, Francisco Hernández Quiroz, Carlos Martín-Vide, David A. Rosenblueth, editors, Algorithms for Computational Biology - Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings. Volume 9199 of Lecture Notes in Computer Science, pages 141-153, Springer, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.