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

Hieu Xuan Truong, Tuyen Van Kieu, Khanh Van To

Browse the full ICAART paper archive.