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

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