Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper).

Neng-Fa Zhou

Browse the full CP paper archive.