Publications related to 'History bound'
 
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.