Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret. SMT encodings for Resource-Constrained Project Scheduling Problems. Computers & Industrial Engineering, 149:106777, 2020. [doi]
@article{BofillCSV20-0,
title = {SMT encodings for Resource-Constrained Project Scheduling Problems},
author = {Miquel Bofill and Jordi Coll and Josep Suy and Mateu Villaret},
year = {2020},
doi = {10.1016/j.cie.2020.106777},
url = {https://doi.org/10.1016/j.cie.2020.106777},
researchr = {https://researchr.org/publication/BofillCSV20-0},
cites = {0},
citedby = {0},
journal = {Computers & Industrial Engineering},
volume = {149},
pages = {106777},
}