Shengyi Wang

From Patterns to Maze Structures: SMT-Based Path Synthesis and 2D/3D Construction

Shengyi Wang

We present a pipeline for constructing maze structures from input patterns such as text or shapes. The central path-synthesis problem is encoded in Satisfiability Modulo Theories as global constraints on adjacency, continuity, and pattern-constrained coverage, allowing each fixed…Read more

Deep Reinforcement Learning-Based AI Task Offloading in Resource-Constrained IIoT Computing Environments

Deshui Yu, Xianhui Liu, Jia Ning, Shengyi Wang, Chenglin Zhu, Weidong Zhao