An exact algorithm with learning for the graph coloring problem. - Zhaoyang Zhou; Chu Min Li 001; Chong Huang 002; Ruchu Xu (Comput. Oper. Res., 2014)