Branch-and-Bound Methods: A Survey | Synapse