Phase Transition in Reduction between 3-SAT and Graph Colorability for Channel Assignment in Cellular Network | IEEE Conference Publication | IEEE Xplore