@inproceedings{CASE-2018-RoselliBA,
	author        = "Sabino Francesco Roselli and Kristofer Bengtsson and Knut Åkesson",
	booktitle     = "{Proceedings of the 14th International Conference on Automation Science and Engineering}",
	doi           = "10.1109/COASE.2018.8560344",
	isbn          = "978-1-5386-3593-3",
	pages         = "547--552",
	publisher     = "{IEEE}",
	title         = "{SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation}",
	year          = 2018,
}