An Enhanced 0–1 Mixed-Integer LP Formulation for Traffic Signal Control | Synapse