Sequential Counter Encoding for Staircase At-Most-One Constraints. - Hieu Xuan Truong; Tuyen Van Kieu; Khanh Van To (ICAART (2), 2025)

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

An efficient SAT encoding for solving The Social Golfer Problem. - Tuyen Van Kieu; Nguyen Tan Nguyen; Khanh Van To (RAIRO Oper. Res., 2026)

Solving Cyclic Antibandwidth Problem by SAT. - Hieu Xuan Truong; Khanh Van To (CoRR, 2026)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study. - Duc Trung Kim Nguyen; Tuyen Van Kieu; Khanh Van To (CoRR, 2026)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT. - Tuyen Van Kieu; Chi Linh Hoang; Khanh Van To (CoRR, 2026)