Improved edge-coloring with three colors
3 - coloring in time o ( 1 . 3289n ) .