Hongwei Yan,
Andreas Gunawan and
Louxin Zhang. S-Cluster++: a fast program for solving the cluster containment problem for phylogenetic networks. In BIO, Vol. 34(17):i680–i686, 2018. Keywords: cluster containment, explicit network, phylogenetic network, phylogeny, SAT. Note: http://dx.doi.org/10.1093/bioinformatics/bty594.
|