Gradually resolving procedures by a trip-based integer programming to optimize elevator operations | IEEE Conference Publication | IEEE Xplore