Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP | IEEE Conference Publication | IEEE Xplore