APA (7th ed.) Citation

Van Kieu, T., Nguyen, P. C., Hoang, B. G., & Van To, K. (2025). Compact SAT Encoding for Power Peak Minimization.

Chicago Style (17th ed.) Citation

Van Kieu, Tuyen, Phong Chi Nguyen, Bao Gia Hoang, and Khanh Van To. Compact SAT Encoding for Power Peak Minimization. 2025.

MLA (9th ed.) Citation

Van Kieu, Tuyen, et al. Compact SAT Encoding for Power Peak Minimization. 2025.