Search results for ' AlCoB2020 ' :
    1 match found.
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.