Udi Manber Martin Tompa The Effect of Number of Hamiltonian Paths on the Complexity of a Vertex-Coloring Problem. 109-115 1984 13 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp13.html#ManberT84