2-AIN-505, 2-AIN-251: Seminár z bioinformatiky (1) a (3)
Zima 2020

Hannah Brown, Lei Zuo, Dan Gusfield. Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology. In AlCoB 2020: Algorithms for Computational Biology, pp. 63-76, 2020.

Download preprint: not available

Download from publisher: https://doi.org/10.1007/978-3-030-42266-0_6

Related web page: not available

Bibliography entry: BibTeX

Abstract: not available