Protein Threading Based on Nonlinear Integer Programming. - Wajeb Gharibi; Marwah Mohammed Bakri (CoRR, 2013)