Neue Branch-and-Bound-Regeln für lineare Bilevel-Programmierung | Synapse