@misc{indiciaea05e79a0f818,
  title = {Proving Optimality for the Bandwidth Multicoloring Problem via SAT},
  author = {Duc Trung Kim Nguyen and Khanh Van To},
  year = {2026},
  url = {https://arxiv.org/abs/2607.11121},
  note = {Source identifier: 2607.11121}
}