SMT encodings for Resource-Constrained Project Scheduling Problems
Títol: | SMT encodings for Resource-Constrained Project Scheduling Problems |
Autors: | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. |
Investigadors/es (PRC): | Bofill Arasa, Miquel Suy Franch, Josep Villaret Auselle, Mateu Coll Caballero, Jordi |
Publicació relacionada: | Computers & Industrial Engineering |
Data de publicació: | 2020 |
Tipus de document: | Article |
Publicat a: | Computers & Industrial Engineering, 2020, vol. 149, p. 106777 |
ISSN: | 0360-8352 |
DOI: | 10.1016/j.cie.2020.106777 |
Procedència: | Universitat de Girona |