The protein folding problem is one of the most fundamental open problems in biochemistry. We use integer programming methods and a polyhedral analysis to contribute to its solution.