A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem.

Gerold Jger, Weixiong Zhang

Browse the full CSR paper archive.