Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson. SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. In 15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019. pages 673-678, IEEE, 2019. [doi]
Abstract is missing.