SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation

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]

Abstract

Abstract is missing.