Publications related to 'SAT'
 
Order by:   Type | Year
           related to:
Associated keywords
2020
1
photo
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
photophoto
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.