Gusfield, D., Frid, Y., & Brown, D. (2007). Integer programming formulations and computations solving phylogenetic and population genetic problems with missing or genotypic data