An enhanced 0-1 mixed integer LP formulation for the traffic signal problem | IEEE Conference Publication | IEEE Xplore