Compact SAT Encoding for Power Peak Minimization. - Tuyen Van Kieu; Phong Chi Nguyen; Bao Gia Hoang; Khanh Van To (CoRR, 2025)