@inproceedings\{Brown2020,
 author={Hannah Brown and  Lei Zuo and  Dan Gusfield},
 title={{Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology}},
 booktitle={AlCoB 2020: Algorithms for Computational Biology},
 pages={63--76},
 year={2020}
}