@misc{indiciae15f317360eaa,
  title = {Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem},
  author = {Pham Quang Minh and Dao Xuan Nghia and To Van Khanh},
  year = {2026},
  url = {https://arxiv.org/abs/2608.18514},
  note = {Source identifier: 2608.18514}
}