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