The dead-end elimination theorem and its use in protein side-chain positioning.

The dead-end elimination theorem and its use in protein side-chain positioning.