Computational Protein Design Using AND/OR Branch-and-Bound Search