Computer Experiences with Implicit Enumeration Algorithms for Graph Coloring