Publications related to 'History bound'
  		Order by:   Type | Year
           related to:
Associated keywords
from-binary-characters History-bound integer-linear-programming minimum-number phylogeny SAT
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.
       

  Authors  Community  Keywords  Publications  Software  Browse  Basket  Account  Contribute!  About  Help   

Website based on BibAdmin - forked on GitHub.
More details on the people involved in the development of the website available here.

In accordance with the European General Data Protection Regulation, you may
request information about your personal data processed on this website, or demand its correction or deletion
by contacting Philippe Gambette, the administrator of this website.

To refer to this website, please cite:
Tushar Agarwal, Philippe Gambette & David Morrison (2016),
Who is Who in Phylogenetic Networks: Articles, Authors and Programs,
https://arxiv.org/abs/1610.01674, website available at http://phylnet.univ-mlv.fr.