Work

Pre-processing and Linear-Decomposition Algorithm to Solve the k-Colorability Problem