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