Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology. - Hannah Brown; Lei Zuo 004; Dan Gusfield (AlCoB, 2020)