Xinwu Yi

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Job Shop Scheduling Problem

Particle Swarm Optimization

Top Venues

Publications

Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. SOFL+MSVL (2022)