Who is Who in Phylogenetic Networks

Publication no #2808   Type :   Html | Bib | Both

Created: 2020-09-12 12:05:22

2808 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.         @InProceedings{BZG2020,       AUTHOR = {Brown, Hannah and Zuo, Lei and Gusfield, Dan},       TITLE = {Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology},       YEAR = {2020},       BOOKTITLE = {AlCoB2020},       VOLUME = {12099},       PAGES = {63-76},       SERIES = {LNCS},       PUBLISHER = {Springer},       URL = {https://doi.org/10.1007/978-3-030-42266-0_6},       NOTE = {https://doi.org/10.1007/978-3-030-42266-0_6},       KEYWORDS = {from binary characters, History bound, integer linear programming, minimum number, phylogeny, SAT} }