Computergestütztes Proteindesign mit UND/ODER Verzweigungs- und gebundener Suche