Sabino Francesco Roselli, Kristofer Bengtsson, Knut Äkesson. SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation. In 14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018. pages 547-552, IEEE, 2018. [doi]
@inproceedings{RoselliBA18,
title = {SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation},
author = {Sabino Francesco Roselli and Kristofer Bengtsson and Knut Äkesson},
year = {2018},
doi = {10.1109/COASE.2018.8560344},
url = {https://doi.org/10.1109/COASE.2018.8560344},
researchr = {https://researchr.org/publication/RoselliBA18},
cites = {0},
citedby = {0},
pages = {547-552},
booktitle = {14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018},
publisher = {IEEE},
isbn = {978-1-5386-3593-3},
}