2 papers
cs.LO2024
Towards Automatic Linearization via SMT Solving
Jian Cao, Liyong Lin, Lele Li
Mathematical optimization is ubiquitous in modern applications. However, in practice, we often need to use nonlinear optimization models, for which the existing optimization tools…
cs.NE2023
Scheduling Distributed Flexible Assembly Lines using Safe Reinforcement Learning with Soft Shielding
Lele Li, Liyong Lin
Highly automated assembly lines enable significant productivity gains in the manufacturing industry, particularly in mass production condition. Nonetheless, challenges persist in j…