TY  - RPRT
TI  - Compact SAT Encoding for Power Peak Minimization
AU  - Tuyen Van Kieu
AU  - Phong Chi Nguyen
AU  - Bao Gia Hoang
AU  - Khanh Van To
PY  - 2025
UR  - https://arxiv.org/abs/2512.11435
ID  - 2512.11435
ER  -