Tuyen Van Kieu

According to our database, Tuyen Van Kieu authored at least 5 papers between 2025 and 2026.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

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, April, 2026

SAT Encodings for Bandwidth Coloring: A Systematic Design Study.

Duc Trung Kim Nguyen, Tuyen Van Kieu, Khanh Van To

CoRR, February, 2026

An efficient SAT encoding for solving The Social Golfer Problem.

Tuyen Van Kieu, Nguyen Tan Nguyen, Khanh Van To

RAIRO Oper. Res., 2026

2025

Compact SAT Encoding for Power Peak Minimization.

Tuyen Van Kieu, Phong Chi Nguyen, Bao Gia Hoang, Khanh Van To

CoRR, December, 2025

Sequential Counter Encoding for Staircase At-Most-One Constraints.

Hieu Xuan Truong, Tuyen Van Kieu, Khanh Van To

Proceedings of the 17th International Conference on Agents and Artificial Intelligence, 2025