Encoding Selection for Solving Hamiltonian Cycle Problems with ASP