TY  - RPRT
TI  - A SAT-Based Exact Approach for Radio k-Labeling
AU  - Huong Vu Thanh
AU  - Duc Dao Van
AU  - Khanh To Van
PY  - 2026
UR  - https://arxiv.org/abs/2607.19997
ID  - 2607.19997
ER  -