@InProceedings{UlyantsevMelnik2015,
AUTHOR = {Ulyantsev, Vladimir and Melnik, Mikhail},
TITLE = {Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-solver},
YEAR = {2015},
BOOKTITLE = {AlCoB15},
VOLUME = {9199},
PAGES = {141-153},
SERIES = {LNCS},
PUBLISHER = {springer},
URL = {http://dx.doi.org/10.1007/978-3-319-21233-3_11},
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},
KEYWORDS = {explicit network, from rooted trees, from trees, phylogenetic network, phylogeny, Program PIRN, reconstruction}
}