Rotamer optimization for protein design through MAP estimation and problem-size reduction. - Eun-Jong Hong; Shaun M. Lippow; Bruce Tidor; Tomás Lozano-Pérez (J. Comput. Chem., 2009)