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

> Research article (2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), 2018) · cited 30× · AI/ML

**Wikidata**: [openalex:W2903666872](https://www.wikidata.org/wiki/openalex:W2903666872)  
**Source**: https://4ort.xyz/entity/smt-solvers-for-job-shop-scheduling-problems-models-comparison-and-performance-evaluation