Wajeb Gharibi Marwah Mohammed Bakri Protein Threading Based on Nonlinear Integer Programming. 2013 CoRR http://arxiv.org/abs/1310.0395 abs/1310.0395 db/journals/corr/corr1310.html#GharibiB13