COMSAT: Residue contact prediction of transmembrane proteins based on support vector machines and mixed integer linear programming. Issue 3 (20th January 2016)