Giving formal roles to elevators for breaking symmetry in static elevator operation problems | IEEE Conference Publication | IEEE Xplore