Jingqi Chen, Guoxin Wang 0001, Jinzhi Lu, Xiaochen Zheng, Dimitris Kiritsis. Model-based system engineering supporting production scheduling based on satisfiability modulo theory. J. Ind. Inf. Integr., 27:100329, 2022. [doi]
No reviews for this publication, yet.