3-coloring in time 0(1.3446/sup n/): a no-MIS algorithm | IEEE Conference Publication | IEEE Xplore