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]

Authors

Sabino Francesco Roselli

This author has not been identified. Look up 'Sabino Francesco Roselli' in Google

Kristofer Bengtsson

This author has not been identified. Look up 'Kristofer Bengtsson' in Google

Knut Äkesson

This author has not been identified. Look up 'Knut Äkesson' in Google