TY  - RPRT
TI  - SAT Encodings for Bandwidth Coloring: A Systematic Design Study
AU  - Duc Trung Kim Nguyen
AU  - Tuyen Van Kieu
AU  - Khanh Van To
PY  - 2026
UR  - https://arxiv.org/abs/2602.08423
ID  - 2602.08423
ER  -