A SAT-Based Exact Approach for Radio k-Labeling | Digital Library | PAMCET | PAMCET