A Bounded Formulation for The School Bus Scheduling Problem | Synapse