Eppstein. Improved Algorithms for 3-coloring, 3-edge-coloring, and Constraint Satisfaction. 13 Sept. 2000.