Who is Who in Phylogenetic Networks

Publications related to 'SAT'   Order by:   Type | Year

Only And Or     related to:

Associated keywords

cluster-containment explicit-network from-binary-characters History-bound integer-linear-programming minimum-number phylogenetic-network phylogeny SAT

2020

1 Hannah Brown, Lei Zuo and Dan Gusfield. Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology. In AlCoB2020, Vol. 12099:63-76 of LNCS, Springer, 2020. Keywords: from binary characters, History bound, integer linear programming, minimum number, phylogeny, SAT. Note: https://doi.org/10.1007/978-3-030-42266-0_6.

2018

2 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.