@misc{indiciae785c34f165ea,
  title = {Compact SAT Encoding for Power Peak Minimization},
  author = {Tuyen Van Kieu and Phong Chi Nguyen and Bao Gia Hoang and Khanh Van To},
  year = {2025},
  url = {https://arxiv.org/abs/2512.11435},
  note = {Source identifier: 2512.11435}
}