In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem.

Neng-Fa Zhou

Browse the full CP paper archive.