TY  - RPRT
TI  - Proving Optimality for the Bandwidth Multicoloring Problem via SAT
AU  - Duc Trung Kim Nguyen
AU  - Khanh Van To
PY  - 2026
UR  - https://arxiv.org/abs/2607.11121
ID  - 2607.11121
ER  -