Mariam Gómez Sánchez, Alejandro Fernández Gil, Carlos Castro. Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP. In IEEE Latin American Conference on Computational Intelligence, LA-CCI 2019, Guayaquil, Ecuador, November 11-15, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.