Time efficient demon algorithm for graph coloring with search cut-off property | IEEE Conference Publication | IEEE Xplore