Breaking the 2^n Barrier for Graph k-Coloring
arxiv.org