New Branch-and-Bound Rules for Linear Bilevel Programming | Synapse