23 citations · 24 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A general optimization solver based on OP-to-MaxSAT reduction
Yuxin Zhao, Han Huang, Zhifeng Hao
Optimization problems are fundamental in diverse fields, such as engineering, economics, and scientific computing. However, current algorithms are mostly designed for specific prob…
cs.LO2026
Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
Yuxin Zhao, Han Huang, Fangji Fu +1
As the cornerstone of modern power systems, the Unit Commitment Problem (UC) is critical for ensuring operational security and economic efficiency in the ongoing global energy tran…