SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis | IEEE Conference Publication | IEEE Xplore