Publication no #2808   Type :   Html | Bib | Both
Created: 2020-09-12 12:05:22
2808
@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}
}