Model-based system engineering supporting production scheduling based on satisfiability modulo theory
| Autor: | Chen, Jingqi, Wang, Guoxin, Lu, Jinzhi, Zheng, Xiaochen, Kiritsis, Dimitris |
|---|---|
| Zdroj: | In Journal of Industrial Information Integration May 2022 27 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect