@misc{indiciae3f8953f53ea5,
  title = {Generalizing Unit Commitment Problem Solving via SAT-based Decoupling},
  author = {Yuxin Zhao and Han Huang and Fangji Fu and Zhifeng Hao},
  year = {2026},
  url = {https://arxiv.org/abs/2604.16489},
  note = {Source identifier: 2604.16489}
}