基于可满足性模理论的时间敏感网络流量调度机制

徐晶, 刘春龙, 霍佳皓, 皇甫伟

Traffic Scheduling Mechanism for Time-sensitive Networks Based on Satisfiability Modulo Theories

XU Jing, LIU Chunlong, HUO Jiahao, HUANGFU Wei

计算机科学 . 2025, (11A): 250300028 -6 . DOI: 10.11896/jsjkx.250300028