Sign in
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.
Zhen You
Xinwu Yi
Jinyun Xue
Hongwen Hu
Jiewen Huang
Zhuo Cheng
Published in:
SOFL+MSVL (2022)
Keyphrases
</>
critical path
directed acyclic graph
worst case
shortest path problem
objective function
optimal solution
computational complexity
np hard
dynamic programming
job shop scheduling problem
k means
social networks
cost function
scheduling problem
particle swarm optimization