Login / Signup
Model-based system engineering supporting production scheduling based on satisfiability modulo theory.
Jingqi Chen
Guoxin Wang
Jinzhi Lu
Xiaochen Zheng
Dimitris Kiritsis
Published in:
J. Ind. Inf. Integr. (2022)
Keyphrases
</>
production scheduling
single machine
job shop scheduling problem
software engineering
process planning
vehicle routing
computer aided design
neural network
similarity measure
computational complexity
computer aided